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", l(statements), statements);
  for i over l:
    post_correctThird("Statement " + (i+1) + " of standard function " + sf,
      "is", join(dropFirstAndLast(statements.get(i))));
}