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

static Exp nlLogic_firstCondition(IfThen rule) {
  ret rule == null ? null : nlLogic_firstCondition(rule.in);
}