Flow-sensitive rules match on an edge biased to a node. But an analysis can be initialised with a flow-insensitive looking rule that defines the analysis info at the start or end.

Submitted by Jeff Smits on 4 December 2017 at 14:41