Characteristic predicate SensitiveCall :: SensitiveCall
SensitiveCall
(
)