// This is test sort partial ordering

A <| C, D.
B <| D, E.
C <| H, F.
D <| F, G.

// // redundant declaration
// C <| F.

E <| G.
F <| H, I, J.
G <| I, J.
H <| K.
I, J <| K, L.

// Introducing a cycle: E is-a B:
// E <| B.
// // Introducing a cycle: H is-a C:
// H <| C.
// // Introducing a cycle: L is-a E:
// L <| E.
