Support getting the serialized ATN from a recognizer