Module TypeTracking :: TypeTrack :: Graph
Given a sink definition, constructs the relation of edges that can be used in a source-sink path and calculates the set of source-sink pairs.
A node on a path that is reachable from a source and can reach a sink. This is a pair of a
A node on a path that is reachable from a source. This is a pair of a