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