Member predicate Operand :: isDefinitionInexact
Holds if the result of the definition instruction does not exactly overlap this use.
predicate
isDefinitionInexact
(
)