Predicate GeneratedCode::isGenerated

Holds if tl looks like it contains generated code.

predicate isGenerated(TopLevel tl)