Daikon in the ANTLR case