static void ai_postStandardFunctionStatements(S sfName) {
  LL<S> l = tok_statementsInStandardFunction(sfName);
  if (l == null) ret; // no definition found
  S sf = "Standard function " + sfName;
  post_correctThird(sf, "has", n2(l(l), "statement"));
  for i over l:
    post_correctThird("Statement " + (i+1) + " of standard function " + sf,
      "is", join(dropFirstAndLast(l.get(i))));
}