Data.Graph.Inductive.Query.Indep