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