Characteristic predicate LoadInstruction :: LoadInstruction
LoadInstruction
(
)