matchEndLine();
} else {
Token lookahead = tokens.get(index);
if(lookahead.text.equals("include")) {
Decl id = parseIncludeDecl();
// id can be null if the included file was already included
// elsewhere.
if(id != null) { decls.add(id); }
} else if(lookahead.text.equals("term")) {
decls.add(parseTermDecl());