Sometimes, fuzzer passes need to apply a transformation only after checking that they are applicable (rather than asserting that they are, as happens in ApplyTransformation).

It would be useful to have a helper function MaybeApplyTransformation to do that and use it in all places where this pattern is used.