YES 2.2 1 s 1 1 1 0 0 1 max 1 1 0 union 2 1 2 0 singl 1 1 0 empty 0 1 max union singl s x singl s y s max union singl x singl y union empty X X max union singl x singl 0 x union x union y z union union x y z union x y union y x union x union y z union x y union x y union y x union x union y z union union x y z max union singl x union Y Z max union Y Z max union singl x union Y Z union singl x singl max union Y Z max union singl x union Y Z max union singl x singl max union Y Z max union singl x union Y Z max union singl x singl max union Y Z max union singl x union Y Z max union Y Z true 1 s 1 0 0 0 0 max 1 1 union 2 1 2 2 max 1 1 0 singl 1 1 0 empty 0 0 max union singl x union Y Z max union Y Z max union singl x union Y Z max union singl x singl max union Y Z max union singl x union Y Z max union singl x singl max union Y Z union x y union y x union x union y z union union x y z max union singl x union Y Z union singl x singl max union Y Z false union x union y z union union x y z union x y union y x union x union y z union x y true union x union y z union x y union x y union y x union x union y z union union x y z true NaTT 1.7