org.specs2.data
compute the transitive closure of an element given a relation and a way to identify transitive elements