static void ctxTestRule(S input, S ruleName) {
  ruleName = addPrefix("Agent#", ruleName);
  ctxContext().rulesFired.clear();
  ctxProcessInput(input);
  ctxProcessRules();
  bool ok = ctxContext().rulesFired.contains(ruleName);
  S desc = input + " -> " + ruleName;
  if (!ok) desc += " was: " + struct(ctxContext().rulesFired);
  addTestResult(desc, ok);
}