Member predicate SsaDefinition :: definedByParameter
Holds if the SSA variable (this, p) is defined by parameter p.
predicate
definedByParameter
(
Parameter
p
)