/* this file tests the various Reach operators */
fail(
""

+            "true = true = "
+     string (true = true)
+"\n"
+            "false = false = "
+     string (false = false)
+"\n"
+            "true = false = "
+     string (true = false)
+"\n"
+            "3 = 3 = "
+     string (3 = 3)
+"\n"
+            "3 = 4 = "
+     string (3 = 4)
+"\n"
+            "\"abc\" = \"abc\" = "
+     string ("abc" = "abc")
+"\n"
+            "\"abc\" = \"abcc\" = "
+     string ("abc" = "abcc")
+"\n"
+            "C 1 = C 1 = "
+     string (C 1 = C 1)
+"\n"
+            "C 1 = C 2 = "
+     string (C 1 = C 2)
+"\n"
+            "E 1 = E 1 = "
+     string (E 1 = E 1)
+"\n"
+            "E 1 = E 2 = "
+     string (E 1 = E 2)
+"\n"
+            "P 1 = P 1 = "
+     string (P 1 = P 1)
+"\n"
+            "P 1 = P 2 = "
+     string (P 1 = P 2)
+"\n"
+            "T 1 = T 1 = "
+     string (T 1 = T 1)
+"\n"
+            "T 1 = T 2 = "
+     string (T 1 = T 2)
+"\n"
+            "S 1 = S 1 = "
+     string (S 1 = S 1)
+"\n"
+            "S 1 = S 2 = "
+     string (S 1 = S 2)
+"\n"
+            "{{1,2},{3,3}} = {{2,1},{3}} = "
+     string ({{1,2},{3,3}} = {{2,1},{3}})
+"\n"
+            "{{1,2},{3,4}} = {{2,1},{3}} = "
+     string ({{1,2},{3,4}} = {{2,1},{3}})
+"\n"


+            "true != true = "
+     string (true != true)
+"\n"
+            "false != false = "
+     string (false != false)
+"\n"
+            "true != false = "
+     string (true != false)
+"\n"
+            "3 != 3 = "
+     string (3 != 3)
+"\n"
+            "3 != 4 = "
+     string (3 != 4)
+"\n"
+            "\"abc\" != \"abc\" = "
+     string ("abc" != "abc")
+"\n"
+            "\"abc\" != \"abcc\" = "
+     string ("abc" != "abcc")
+"\n"
+            "C 1 != C 1 = "
+     string (C 1 != C 1)
+"\n"
+            "C 1 != C 2 = "
+     string (C 1 != C 2)
+"\n"
+            "E 1 != E 1 = "
+     string (E 1 != E 1)
+"\n"
+            "E 1 != E 2 = "
+     string (E 1 != E 2)
+"\n"
+            "P 1 != P 1 = "
+     string (P 1 != P 1)
+"\n"
+            "P 1 != P 2 = "
+     string (P 1 != P 2)
+"\n"
+            "T 1 != T 1 = "
+     string (T 1 != T 1)
+"\n"
+            "T 1 != T 2 = "
+     string (T 1 != T 2)
+"\n"
+            "S 1 != S 1 = "
+     string (S 1 != S 1)
+"\n"
+            "S 1 != S 2 = "
+     string (S 1 != S 2)
+"\n"
+            "{{1,2},{3,3}} != {{2,1},{3}} = "
+     string ({{1,2},{3,3}} != {{2,1},{3}})
+"\n"
+            "{{1,2},{3,4}} != {{2,1},{3}} = "
+     string ({{1,2},{3,4}} != {{2,1},{3}})
+"\n"


+            "true < true = "
+     string (true < true)
+"\n"
+            "false < false = "
+     string (false < false)
+"\n"
+            "true < false = "
+     string (true < false)
+"\n"
+            "3 < 3 = "
+     string (3 < 3)
+"\n"
+            "3 < 4 = "
+     string (3 < 4)
+"\n"
+            "\"abc\" < \"abc\" = "
+     string ("abc" < "abc")
+"\n"
+            "\"abc\" < \"abcc\" = "
+     string ("abc" < "abcc")
+"\n"
+            "C 1 < C 1 = "
+     string (C 1 < C 1)
+"\n"
+            "C 1 < C 2 = "
+     string (C 1 < C 2)
+"\n"
+            "E 1 < E 1 = "
+     string (E 1 < E 1)
+"\n"
+            "E 1 < E 2 = "
+     string (E 1 < E 2)
+"\n"
+            "P 1 < P 1 = "
+     string (P 1 < P 1)
+"\n"
+            "P 1 < P 2 = "
+     string (P 1 < P 2)
+"\n"
+            "T 1 < T 1 = "
+     string (T 1 < T 1)
+"\n"
+            "T 1 < T 2 = "
+     string (T 1 < T 2)
+"\n"
+            "S 1 < S 1 = "
+     string (S 1 < S 1)
+"\n"
+            "S 1 < S 2 = "
+     string (S 1 < S 2)
+"\n"
+            "{{1,2},{3,3}} < {{2,1},{3}} = "
+     string ({{1,2},{3,3}} < {{2,1},{3}})
+"\n"
+            "{{1,2},{3,4}} < {{2,1},{3}} = "
+     string ({{1,2},{3,4}} < {{2,1},{3}})
+"\n"


+            "true <= true = "
+     string (true <= true)
+"\n"
+            "false <= false = "
+     string (false <= false)
+"\n"
+            "true <= false = "
+     string (true <= false)
+"\n"
+            "3 <= 3 = "
+     string (3 <= 3)
+"\n"
+            "3 <= 4 = "
+     string (3 <= 4)
+"\n"
+            "\"abc\" <= \"abc\" = "
+     string ("abc" <= "abc")
+"\n"
+            "\"abc\" <= \"abcc\" = "
+     string ("abc" <= "abcc")
+"\n"
+            "C 1 <= C 1 = "
+     string (C 1 <= C 1)
+"\n"
+            "C 1 <= C 2 = "
+     string (C 1 <= C 2)
+"\n"
+            "E 1 <= E 1 = "
+     string (E 1 <= E 1)
+"\n"
+            "E 1 <= E 2 = "
+     string (E 1 <= E 2)
+"\n"
+            "P 1 <= P 1 = "
+     string (P 1 <= P 1)
+"\n"
+            "P 1 <= P 2 = "
+     string (P 1 <= P 2)
+"\n"
+            "T 1 <= T 1 = "
+     string (T 1 <= T 1)
+"\n"
+            "T 1 <= T 2 = "
+     string (T 1 <= T 2)
+"\n"
+            "S 1 <= S 1 = "
+     string (S 1 <= S 1)
+"\n"
+            "S 1 <= S 2 = "
+     string (S 1 <= S 2)
+"\n"
+            "{{1,2},{3,3}} <= {{2,1},{3}} = "
+     string ({{1,2},{3,3}} <= {{2,1},{3}})
+"\n"
+            "{{1,2},{3,4}} <= {{2,1},{3}} = "
+     string ({{1,2},{3,4}} <= {{2,1},{3}})
+"\n"


+            "true >= true = "
+     string (true >= true)
+"\n"
+            "false >= false = "
+     string (false >= false)
+"\n"
+            "true >= false = "
+     string (true >= false)
+"\n"
+            "3 >= 3 = "
+     string (3 >= 3)
+"\n"
+            "3 >= 4 = "
+     string (3 >= 4)
+"\n"
+            "\"abc\" >= \"abc\" = "
+     string ("abc" >= "abc")
+"\n"
+            "\"abc\" >= \"abcc\" = "
+     string ("abc" >= "abcc")
+"\n"
+            "C 1 >= C 1 = "
+     string (C 1 >= C 1)
+"\n"
+            "C 1 >= C 2 = "
+     string (C 1 >= C 2)
+"\n"
+            "E 1 >= E 1 = "
+     string (E 1 >= E 1)
+"\n"
+            "E 1 >= E 2 = "
+     string (E 1 >= E 2)
+"\n"
+            "P 1 >= P 1 = "
+     string (P 1 >= P 1)
+"\n"
+            "P 1 >= P 2 = "
+     string (P 1 >= P 2)
+"\n"
+            "T 1 >= T 1 = "
+     string (T 1 >= T 1)
+"\n"
+            "T 1 >= T 2 = "
+     string (T 1 >= T 2)
+"\n"
+            "S 1 >= S 1 = "
+     string (S 1 >= S 1)
+"\n"
+            "S 1 >= S 2 = "
+     string (S 1 >= S 2)
+"\n"
+            "{{1,2},{3,3}} >= {{2,1},{3}} = "
+     string ({{1,2},{3,3}} >= {{2,1},{3}})
+"\n"
+            "{{1,2},{3,4}} >= {{2,1},{3}} = "
+     string ({{1,2},{3,4}} >= {{2,1},{3}})
+"\n"


+            "true > true = "
+     string (true > true)
+"\n"
+            "false > false = "
+     string (false > false)
+"\n"
+            "true > false = "
+     string (true > false)
+"\n"
+            "3 > 3 = "
+     string (3 > 3)
+"\n"
+            "3 > 4 = "
+     string (3 > 4)
+"\n"
+            "\"abc\" > \"abc\" = "
+     string ("abc" > "abc")
+"\n"
+            "\"abc\" > \"abcc\" = "
+     string ("abc" > "abcc")
+"\n"
+            "C 1 > C 1 = "
+     string (C 1 > C 1)
+"\n"
+            "C 1 > C 2 = "
+     string (C 1 > C 2)
+"\n"
+            "E 1 > E 1 = "
+     string (E 1 > E 1)
+"\n"
+            "E 1 > E 2 = "
+     string (E 1 > E 2)
+"\n"
+            "P 1 > P 1 = "
+     string (P 1 > P 1)
+"\n"
+            "P 1 > P 2 = "
+     string (P 1 > P 2)
+"\n"
+            "T 1 > T 1 = "
+     string (T 1 > T 1)
+"\n"
+            "T 1 > T 2 = "
+     string (T 1 > T 2)
+"\n"
+            "S 1 > S 1 = "
+     string (S 1 > S 1)
+"\n"
+            "S 1 > S 2 = "
+     string (S 1 > S 2)
+"\n"
+            "{{1,2},{3,3}} > {{2,1},{3}} = "
+     string ({{1,2},{3,3}} > {{2,1},{3}})
+"\n"
+            "{{1,2},{3,4}} > {{2,1},{3}} = "
+     string ({{1,2},{3,4}} > {{2,1},{3}})
+"\n"


+            "2 in {2,1,3,3} = "
+     string (2 in {2,1,3,3})
+"\n"
+            "{{1,2},{3}} in {{{2,1},{3}},{{3}}} = "
+     string ({{1,2},{3}} in {{{2,1},{3}},{{3}}})
+"\n"
+            "{{1,2},{3}} in {{{2,1,3},{3}},{{3}}} = "
+     string ({{1,2},{3}} in {{{2,1,3},{3}},{{3}}})
+"\n"

)