Data.Graph.Inductive.Query.TransClos
trc
rc
tc