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