static Exp nlLogic_transformShallow(Exp e, F1<Exp> f) {
  if (e == null) null;
  if (e cast And)
    ret And(callF(f, e.a), callF(f, e.b));
  if (e cast ExpNot)
    ret ExpNot(callF(f, e.a));
  ret callF(f, e);
}