Member predicate Instruction :: isResultConflated
Holds if this is an instruction with a memory result that represents a conflation of more than one memory allocation.
This happens in practice when dereferencing a pointer that cannot be
tracked back to a single local allocation. Such memory is instead modeled
as originating on the
AliasedDefinitionInstruction at the entry of the
predicate isResultConflated ( )