Member predicate OpcodeWithLoad :: hasOperandInternal
Holds if the instruction must have an operand with the specified OperandTag, ignoring
AddressOperandTag and BufferSizeOperandTag.
predicate
hasOperandInternal
(
OperandTag
tag
)