[IfChainToSwitch] when safe mode is enabled, enforce strict matching of predicates in the if-chain; disallows method invocations etc. because converting these can change semantics#5488