static L<Exp> nlLogic_unrollAnd(Exp e) {
  new L<Exp> l;
  nlLogic_unrollAnd_collect(e, l);
  ret l;
}

svoid nlLogic_unrollAnd_collect(Exp e, L<Exp> out) {
  if (e cast And) {
    nlLogic_unrollAnd_collect(e.a, out);
    nlLogic_unrollAnd_collect(e.b, out);
  } else
    addIfNotNull(out, e);
}