// changes set
static Set<S> nlLogic_inputsFromExecutedRules(Set<S> set, L<ExecutedRule> l) {
  for (ExecutedRule r : unnull(l))
    addAll(set, r.newInput);
  ret set;
}