This analysis computes the transitive closure of the constraint relation. (Note that the resulting relation will not be reflexive in general.)
