A type of expression that must be evaluated on every possible path from a given point during Dataflow Analysis.