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