sclass CruddieScript {
  swappable void assume(S fact) {}
  S answer(S s) { null; }
  
  // make match function locally overridable
  swappable bool match(S pat, S s, Matches m) { ret match3(pat, s, m); }
  bool match(S pat, S s) { ret match(pat, s, null); }
}