Member predicate Element :: isCompilerGenerated
Holds if this is an auxiliary program element generated by the compiler.
predicate
isCompilerGenerated
(
)