testing with antlr