static Set<S> nlLogic_allLHSEvalFragments(IfThen rule) {
  ret nlLogic_allLHSEvalFragments_visit(rule);
}

static Set<S> nlLogic_allLHSEvalFragments(L<IfThen> rules) {
  ret nlLogic_allLHSEvalFragments_visit(collect(rules, 'in));
}

static Set<S> nlLogic_allLHSEvalFragments_visit(O toVisit) {
  final new TreeSet<S> set;
  nlLogic_visit(toVisit, voidfunc(O o) {
    if (o cast Func) if (eq(o.name, 'eval)) set.add(o.arg.text());
  });
  ret set;
}