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