Modifier:SynthesisImplicitPurityOfLightningReservation2