dfs&rdfs
cycle condense