Member predicate Indirection::isAdditionalConversionFlow
Holds if the step from opFrom to instrTo should be considered a conversion
from opFrom to instrTo.
predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo)Holds if the step from opFrom to instrTo should be considered a conversion
from opFrom to instrTo.
predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo)