static L<IfThen> nlLogic_filterByRHSConstructs(L<IfThen> rules, S... constructs) {
  ret nlLogic_filterByRHSConstructs(rules, asHashSet(constructs));
}

static L<IfThen> nlLogic_filterByRHSConstructs(L<IfThen> rules, final Set<S> _constructs) {
  final Set<S> constructs = setPlus(_constructs, 'newID);
  ret [IfThen r : rules | isSuperSet(constructs, nlLogic_constructNames(r.out))];
}