Member predicate Field :: isSourceDeclaration
Holds if this field is the same as its source declaration.
predicate
isSourceDeclaration
(
)