Trying to make a one-pass parser. First, I put the functionality of the
tree grammar SemanticAnalysis1 inside the parser.