static Explain explain(S input, S rules, S className) {
  O parseResult = parse1(input, rules);
  L e = cast call(parseResult, "explain", className);
  if (e == null) ret null;
  ret new Explain(parseResult, e);
}