Characteristic predicate UnaryInstruction :: UnaryInstruction
UnaryInstruction
(
)