Class SerializedATN