Characteristic predicate InParameterDeref :: InParameterDeref
InParameterDeref
(
)