Member predicate Parameter :: isSourceDeclaration
Holds if this formal parameter is the same as its source declaration.
predicate
isSourceDeclaration
(
)