public ATNDeserializationOptions() {this.verifyATN = true;this.generateRuleBypassTransitions = false;}

public ATNDeserializationOptions(){this.verifyATN = true;this.generateRuleBypassTransitions = false;this.optimize = true;}
