sclass nlLogic_AbstractChecker {
  bool check(Exp e) {
    if (e cast And) ret check(e.a) && check(e.b);
    todo(className(e));
  }
}