added identifiers and an explicit test of the AST