Characteristic predicate CallInstruction :: CallInstruction
CallInstruction
(
)