Characteristic predicate GenericCall :: GenericCall
GenericCall
(
)