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