static void ai_postStandardFunctionStatements(S sfName) {
  L<S> l = statementsOfStandardFunction(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", statements.get(i));
}