fn __pop_Variant22( __symbols: &mut Vec<(Location, __Symbol, Location)>, ) -> (Location, Ensures, Location)