Quelle  PrintUnivsSubgraph.out   Sprache: unbekannt

Set < i
    < j
i < j (because i <(from foo) j)

Set < i
    < k
i < k (because i <(from foo) j <(from connect) l <(from baz) k)

Set < u
    < v
v < u (because v <(from PrintUnivsSubgraph.T.foo) u)