added new predicates for AST parsing + tests