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