module Test(g) where

data B = TT | FF

g TT TT y1 x1 y2 x2 y3 x3 y4 x4 = TT
g FF TT y1 x1 y2 x2 y3 x3 y4 x4 = TT
g y0 x0 TT TT y2 x2 y3 x3 y4 x4 = TT
g y0 x0 FF TT y2 x2 y3 x3 y4 x4 = TT
g y0 x0 y1 x1 TT TT y3 x3 y4 x4 = TT
g y0 x0 y1 x1 FF TT y3 x3 y4 x4 = TT
g y0 x0 y1 x1 y2 x2 TT TT y4 x4 = TT
g y0 x0 y1 x1 y2 x2 FF TT y4 x4 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 TT TT = TT
g y0 x0 y1 x1 y2 x2 y3 x3 FF TT = TT
g y0 FF y1 FF y2 FF y3 FF y4 FF = TT