static L<Statement> aiMakeStatements(L<S> statements) {
  ret map(func(S s) {
    Statement st = unlisted(Statement);
    st.globalID = aGlobalID();
    st.text = s;
    ret st;
  }, statements);
}