Predicate TaintTracking::TaintFlowImplementation::if_exp_step

predicate if_exp_step(CallContext fromcontext, ControlFlowNode operand, CallContext tocontext, IfExprNode ifexp)