Predicate CFG::hasEvaluationNode

Holds if e should have an evaluation node in the control-flow graph.

Excluded expressions include those not evaluated at runtime (e.g. identifiers, type expressions) and some logical expressions that are expressed as control-flow edges rather than having a specific evaluation node.