Modifier:SynthesisImplicitAvoidIgnite2