For an overview of this library, along with tutorials and examples, see CodeQL for C/C++
Gets the Instruction whose result is the value of the operand. Unlike
getAnyDef, this also has no result when isDefinitionInexact holds,
which means that the resulting instruction must always be exactly the be
the value of this operand.