Predicate ConditionalBypass::conditionControlsMethod

Calls to a sensitive method that are controlled by a condition on the given expression.

predicate conditionControlsMethod(MethodAccess m, Expr e)