static ATNDeserializationOptions() { defaultOptions = new Antlr4.Runtime.Atn.ATNDeserializationOptions(); defaultOptions.MakeReadOnly(); }