fix bug in atn deserializer