static Exp nlLogic_firstCondition(Exp e) {
  if (e cast And) ret e.a;
  ret e;
}