Parser constructs a correct abstract syntax tree