Member predicate Definition::isIndirectParameterDefinition
Holds if this definition defines the indirectionIndex’th indirection of
parameter p upon entry into the enclosing function.
predicate isIndirectParameterDefinition(Parameter p, int indirectionIndex)