Member predicate Field::isSourceDeclaration

Holds if this field is the same as its source declaration.

predicate isSourceDeclaration()