static Exp nlLogic_and(Exp a, Exp b) {
  ret a == null ? b : b == null ? a : And(a, b);
}