Member predicate Declaration :: isSourceDeclaration
Holds if this declaration is unconstructed and in source code.
predicate
isSourceDeclaration
(
)