transitive closure
transitive closure + rslv conflicts