Modifier:SynthesisImplicitLocalCrit4~