Member predicate DataflowAnnotation::generatedOn

Holds if this annotation is generated when analyzing expression e.

predicate generatedOn(Expr e)