Modifier:SynthesisImplicitPurityOfIceReservation2