static LinkedHashSet<S> nlLogic_inputsFromExecutedRules(L<ExecutedRule> l) {
  LinkedHashSet<S> newInputs = litorderedset(input);
  for (ExecutedRule r : unnull(l))
    addAll(newInputs, r.newInput);
  ret newInputs;
}