N = {3,4}

%%-- A = B = C = D in the sequential context
assert MaxA(3) [S= MaxB(3)
assert MaxB(3) [S= MaxC(3)
assert MaxC(3) [S= MaxD(3)
assert MaxD(3) [S= MaxA(3)

%%-- A does not refine B,C and D
assert MaxB(3) [G= MaxA(3)
assert MaxC(3) [G= MaxA(3)
assert MaxD(3) [G= MaxA(3)

%%-- A is not refined by B,C and D
assert MaxA(3) [G= MaxB(3)
assert MaxA(3) [G= MaxC(3)
assert MaxA(3) [G= MaxD(3)

%%-- B = C
assert MaxB(3) [G= MaxC(3)
assert MaxC(3) [G= MaxB(3)

%%-- D does not refines A, B, C
assert MaxB(3) [G= MaxD(3)

%%-- D is refined by B and C 
assert MaxD(3) [G= MaxB(3)