infer version number of antlr