Adding new unary tests

Author: jogiet

Makefile

@@ -25,6 +25,9 @@ static: sanity
 	STATIC=true $(OCB) -tag custom src/moloss.native
 
 # tests
+tests: native
+	bash test.sh
+
 various_tests: native
 	$(OCB) tests/various_tests.native
 

data/InToHyLo/test-basic-random-00.intohylo

@@ -0,0 +1,3 @@
+begin
+~~(((p25 & p25) -> (p20 | p16)) | ~([r1] p10)) -> ([r1] (([r1] (p23 & p6 | ([r1] p13))) -> (<r1> ((<r1> p20) -> ~p4)))) 
+end

data/InToHyLo/test-basic-random-01.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] ~((~(<r1> p24) -> (p20 | p8) -> (p17 & p12)) -> ~~(p9 -> p7)) 
+end

data/InToHyLo/test-basic-random-02.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> ((([r1] (p22 & p9)) & (<r1> (p11 -> p3))) -> (([r1] p12) & (p19 -> p22) & ((p22 & p22) -> p16 -> p5)))) -> (((<r1> <r1> (p21 | p15)) -> (((<r1> p18) -> (p10 & p17)) & (([r1] p1) -> (p13 | p14)))) | ~((p6 -> p20) & (<r1> p18)) | (p18 | p17) & (p13 -> p7) | ~([r1] p16)) 
+end

data/InToHyLo/test-basic-random-03.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] ~((<r1> ~p19) & ((p9 & p24) -> (<r1> p23)) | (<r1> (p8 | p18 | p25 | p25))) 
+end

data/InToHyLo/test-basic-random-04.intohylo

@@ -0,0 +1,3 @@
+begin
+~(((((p19 -> p1) & ([r1] p9)) -> ~(<r1> p23)) & ~(p14 & p6 | p15 | p3)) -> ~((p5 | p10) & (p18 -> p9)) -> ~(<r1> [r1] p12)) 
+end

data/InToHyLo/test-basic-random-05.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] (~(<r1> [r1] [r1] p2) -> ~([r1] <r1> (p20 & p9))) 
+end

data/InToHyLo/test-basic-random-06.intohylo

@@ -0,0 +1,3 @@
+begin
+~((<r1> ((<r1> (p8 & p20)) -> (<r1> p12) -> (p2 | p22))) | ~~~([r1] p24)) 
+end

data/InToHyLo/test-basic-random-07.intohylo

@@ -0,0 +1,3 @@
+begin
+([r1] ((([r1] (p23 & p3)) | ((<r1> p16) -> p12 -> p18)) & ~((p20 -> p7) | ~p8))) & ((<r1> (p25 -> p24)) & ([r1] (p8 | p16)) & ((<r1> (p5 -> p18)) -> ([r1] <r1> p10)) | ((([r1] p14) & (p18 | p1) | p4 & p18 | (<r1> p5)) -> (~p16 & (p10 | p8)) -> ([r1] p22) -> (p7 | p17))) 
+end

data/InToHyLo/test-basic-random-08.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] [r1] <r1> ((<r1> (p10 | p4)) -> (p18 | p19) -> (<r1> p8)) 
+end

data/InToHyLo/test-basic-random-09.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> <r1> (~((p23 & p4) -> (<r1> p15)) & ~(<r1> <r1> p8)) 
+end

data/InToHyLo/test-basic-random-10.intohylo

@@ -0,0 +1,3 @@
+begin
+~([r1] ((([r1] p10) | (p17 -> p20) | ~([r1] p24)) & ([r1] <r1> (p16 & p2)))) 
+end

data/InToHyLo/test-basic-random-11.intohylo

@@ -0,0 +1,3 @@
+begin
+~([r1] (([r1] ((<r1> p12) & ([r1] p14))) & (p18 & p6 & (<r1> p10) | ([r1] (p10 | p6))))) 
+end

data/InToHyLo/test-basic-random-12.intohylo

@@ -0,0 +1,3 @@
+begin
+~~((((p11 & p9) -> ~p5) -> (~p16 & ~p18)) & ([r1] ((p3 | p15) -> p25 -> p7))) 
+end

data/InToHyLo/test-basic-random-13.intohylo

@@ -0,0 +1,3 @@
+begin
+~(((p11 & p1 | (<r1> p6)) -> (<r1> p24) -> (p8 & p10)) -> ([r1] <r1> <r1> p19)) -> (<r1> [r1] ~([r1] (p24 & p15))) 
+end

data/InToHyLo/test-basic-random-14.intohylo

@@ -0,0 +1,3 @@
+begin
+((((~p12 -> ~p21) -> (<r1> ~p21)) & (((p23 -> p1) | p18 | p4) -> (p7 & p1 & (p12 | p11)))) -> ~~~(p9 | p24)) -> ([r1] (([r1] <r1> (p20 | p22)) & ~~p4 & ([r1] (p12 & p21)))) 
+end

data/InToHyLo/test-basic-random-15.intohylo

@@ -0,0 +1,3 @@
+begin
+([r1] [r1] ((~p16 -> (p24 & p6)) -> (~p15 | p20 | p11))) | ([r1] <r1> (~~p13 -> ((<r1> p4) | ~p18))) 
+end

data/InToHyLo/test-basic-random-16.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] <r1> [r1] (([r1] [r1] p16) -> ~(p19 -> p22)) 
+end

data/InToHyLo/test-basic-random-17.intohylo

@@ -0,0 +1,3 @@
+begin
+((([r1] [r1] (p7 | p17)) -> ~(<r1> (p16 -> p11))) | ([r1] (p5 & p11)) & ~p19 & ~p5 | (p24 -> p24) | p6 | p21 | ((p18 & p24) -> (<r1> p15))) & ~((<r1> ((<r1> p11) | (<r1> p12))) -> ~([r1] p9) -> (([r1] p19) & ([r1] p17))) 
+end

data/InToHyLo/test-basic-random-18.intohylo

@@ -0,0 +1,3 @@
+begin
+~((([r1] [r1] [r1] p15) & ([r1] ((<r1> p6) & ([r1] p16)))) -> (<r1> ((p4 -> p19) | ([r1] p14) | ~(p24 | p19)))) 
+end

data/InToHyLo/test-basic-random-19.intohylo

@@ -0,0 +1,3 @@
+begin
+(([r1] <r1> ((<r1> p6) -> p9 -> p16)) & (<r1> [r1] ((p2 -> p7) | p11 & p1))) -> ([r1] [r1] (((p22 -> p11) -> ~p3) & ([r1] (p5 | p23)))) 
+end

data/InToHyLo/test-basic-random-20.intohylo

@@ -0,0 +1,3 @@
+begin
+~~(((<r1> p22) & ~p19 & (([r1] p9) | (<r1> p19))) -> (<r1> (p1 & p8 & (p21 -> p3)))) 
+end

data/InToHyLo/test-basic-random-21.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> ~([r1] <r1> (p13 -> p17))) & ~([r1] ~((p23 | p2) -> (<r1> p16))) 
+end

data/InToHyLo/test-basic-random-22.intohylo

@@ -0,0 +1,3 @@
+begin
+~(((<r1> p14) & p19 & p22) -> (p3 & p9) -> (p9 | p2)) | ~(~p4 -> p20 -> p19) | (p15 -> p18) & ([r1] p13) | (<r1> [r1] p22) | ([r1] ~~([r1] ~p9)) 
+end

data/InToHyLo/test-basic-random-23.intohylo

@@ -0,0 +1,3 @@
+begin
+(([r1] (([r1] p9) | p11 | p22 | ([r1] (p21 | p25)))) | ~((p8 & p23 | p1 | p18) -> ((<r1> p24) | (p9 -> p17)))) & ([r1] [r1] (([r1] (p23 & p19)) | (p6 -> p15) | p23 | p16)) 
+end

data/InToHyLo/test-basic-random-24.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> <r1> (((<r1> p7) -> (<r1> p9)) -> ~(p1 & p22))) & ~(~((p13 -> p1) -> (<r1> p11)) & ~~p24 & ((<r1> p21) | ([r1] p13))) 
+end

data/InToHyLo/test-basic-random-25.intohylo

@@ -0,0 +1,3 @@
+begin
+~(([r1] ((<r1> p6) -> p20 -> p10)) | (<r1> (p15 | p9 | (p16 -> p5)))) & ([r1] ((<r1> p22) | p19 | p12)) & ((~p18 -> p2 -> p21) | ~~p24) & ([r1] ((([r1] p10) -> ~p12) | ~(p11 & p20))) 
+end

data/InToHyLo/test-basic-random-26.intohylo

@@ -0,0 +1,3 @@
+begin
+(([r1] ~(<r1> p14)) -> ~(<r1> p2) -> ([r1] ~p18)) & ((~(p11 -> p8) -> (~p13 & p5 & p13)) | ([r1] ~(p18 & p7))) | ((<r1> ((~p21 & ~p9) -> ((p9 -> p2) & (p24 -> p22)))) -> ~([r1] (p14 | p7)) -> (<r1> <r1> p12) -> (p7 & p12 | (p9 -> p10))) 
+end

data/InToHyLo/test-basic-random-27.intohylo

@@ -0,0 +1,3 @@
+begin
+(([r1] (([r1] (p20 | p18)) | ([r1] [r1] p8))) -> (([r1] (p4 & p15 | p25 & p22)) & (<r1> [r1] (p12 & p7)))) -> ~(~(p6 & p18) -> ((<r1> p22) & (<r1> p6))) -> (~(<r1> <r1> p20) | p3 | p4 | p12 | p4 | p17 | p20 | p15 | p10) 
+end

data/InToHyLo/test-basic-random-28.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] ~~([r1] [r1] (p14 -> p16)) 
+end

data/InToHyLo/test-basic-random-29.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> [r1] ((<r1> (p12 | p15)) | p23 & p19 | p19 & p21)) | (([r1] ~(([r1] p18) -> (<r1> p20))) -> (([r1] ((p10 -> p20) & ([r1] p22))) & (~(p6 & p8) | (<r1> <r1> p11)))) 
+end

data/InToHyLo/test-basic-random-30.intohylo

@@ -0,0 +1,3 @@
+begin
+([r1] ~(~(p1 | p15) | (<r1> (p13 -> p9)))) & (<r1> ((<r1> p23) & (p15 -> p6) & (p5 -> p10) & (p24 -> p13) | (<r1> (~p20 | (<r1> p7))))) 
+end

data/InToHyLo/test-basic-random-31.intohylo

@@ -0,0 +1,3 @@
+begin
+~([r1] (p7 -> p14)) & (<r1> [r1] ~p24) & (<r1> (([r1] p25) | p9 | p20)) & ((<r1> ~p10) -> ~([r1] p22)) & ~(~([r1] p19) | p8 | p12 | p7 & p21 | ([r1] (p24 & p15 | (<r1> p22)))) 
+end

data/InToHyLo/test-basic-random-32.intohylo

@@ -0,0 +1,3 @@
+begin
+~([r1] ~(([r1] (p23 & p17)) | (p9 -> p7) | (p24 -> p24))) 
+end

data/InToHyLo/test-basic-random-33.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> ((<r1> ((<r1> (p25 -> p2)) | ((p24 & p22) -> (<r1> p9)))) -> ((p5 | p16) & ([r1] p16) & (p22 | p18) & (<r1> p25) | ~(<r1> p16) | (~p22 -> (<r1> p22)))) 
+end

data/InToHyLo/test-basic-random-34.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> [r1] ~(p24 & p22)) | ((<r1> <r1> (p25 -> p11)) -> (((<r1> p22) -> (p6 | p14)) & ((p19 & p21) -> ([r1] p15)))) | (<r1> [r1] [r1] p25) & (p18 -> p25) & ([r1] p16) & ~(p6 -> p24) & ([r1] (~~p12 | (p14 -> p2) & ~p16)) 
+end

data/InToHyLo/test-basic-random-35.intohylo

@@ -0,0 +1,3 @@
+begin
+~(<r1> [r1] ((~p3 -> ~p20) & ~(<r1> p16))) 
+end

data/InToHyLo/test-basic-random-36.intohylo

@@ -0,0 +1,3 @@
+begin
+~((([r1] (p1 & p8)) & ~~p9) -> (<r1> [r1] p11) -> (([r1] p16) | p20 & p21)) -> (<r1> ~([r1] [r1] ~p7)) 
+end

data/InToHyLo/test-basic-random-37.intohylo

@@ -0,0 +1,3 @@
+begin
+((<r1> (~p3 & (p14 -> p4))) -> ~(<r1> (p23 | p16))) & ((<r1> ~p14) & ([r1] (p19 & p10)) | (<r1> ~(p17 | p11))) | ~(([r1] [r1] p5) & (p15 | p2 | p10 & p14) & ~((p17 -> p7) & (p25 -> p9))) 
+end

data/InToHyLo/test-basic-random-38.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] (~(((p5 | p10) -> ~p20) | ([r1] p2) & (p14 | p12)) -> (([r1] (~p4 -> (<r1> p7))) | ~(<r1> (p13 | p17)))) 
+end

data/InToHyLo/test-basic-random-39.intohylo

@@ -0,0 +1,3 @@
+begin
+((<r1> [r1] <r1> ~p18) -> ([r1] (([r1] ~p14) | (<r1> ~p1)))) -> ((<r1> [r1] (([r1] p21) & p9 & p15)) | (<r1> (([r1] p7) & ~p11 | (<r1> (p3 & p9))))) 
+end

data/InToHyLo/test-basic-random-40.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> (([r1] (([r1] [r1] <r1> <r1> [r1] p5) | (<r1> (([r1] <r1> p5) & ((p14 -> p11) | (<r1> p7)))) | ([r1] <r1> <r1> (p10 | p2)) | ~(((~p1 | (p13 -> p5)) -> (<r1> ~p8)) & (<r1> ~(p7 & p12)) & (~([r1] ~p14) -> (<r1> [r1] (p13 | p4)))))) & ([r1] ((([r1] <r1> ((<r1> <r1> p2) & ~(p6 -> p12))) -> (<r1> ((~(p7 | p4) & (<r1> <r1> p4)) -> (([r1] p10) | p6 & p8 | ((p8 -> p11) -> p9 -> p13))))) & ([r1] (~(<r1> <r1> p14) -> (~(p8 | p12) | ([r1] [r1] p13)))) & ([r1] [r1] ~~p2) & ~([r1] [r1] <r1> p13)))) 
+end

data/InToHyLo/test-basic-random-41.intohylo

@@ -0,0 +1,3 @@
+begin
+~~([r1] ((~(<r1> p10) -> ~(<r1> p7)) | (([r1] p5) -> ([r1] p14)) & (p5 | p13) & (<r1> p10))) | ([r1] (~(~([r1] p6) -> ((<r1> p2) & ~p11)) & ([r1] [r1] (~p14 -> (<r1> p8))))) | (~(~~([r1] p7) | (<r1> ((<r1> p2) -> p14 -> p13))) -> ((<r1> [r1] (p2 -> p8)) | (<r1> (p9 | p7)) & ~(p13 -> p13) | ~(~p8 | p12 | p15) & (<r1> ~(p9 | p7)))) | ((<r1> ~(<r1> ((~(<r1> p14) | ~~p6) & p6 & p3 & (p12 | p3) & (([r1] p10) | (p12 -> p6))))) -> (<r1> ~([r1] ((<r1> ((p6 | p1) -> (p1 | p9))) -> (~p8 -> (<r1> p4)) -> ((p5 -> p9) | ([r1] p4)))))) | ~(<r1> ((~((~~p13 -> (<r1> <r1> p6)) | ([r1] [r1] [r1] p3)) -> (~((<r1> ~p11) & ~(p8 -> p4)) | ~(<r1> (p8 & p7 & (p6 | p9))))) | ~(<r1> <r1> (([r1] (p9 -> p11)) -> ([r1] p9) -> p2 -> p9)))) 
+end

data/InToHyLo/test-basic-random-42.intohylo

@@ -0,0 +1,3 @@
+begin
+((<r1> (~~((<r1> (p2 & p14)) & (~p4 -> ~p2)) & (<r1> ((<r1> p6) | p12 & p11 | ~(p4 & p7))) & ((<r1> <r1> (p8 & p11)) -> ([r1] ~(p14 & p3))) | (~~p5 & ((p11 -> p3) -> p5 -> p15) | ([r1] <r1> (p11 -> p7))) & ~(p14 & p11 | ~p2 | ~~p6) | (<r1> <r1> <r1> <r1> p1) & ~~(([r1] p9) | (p8 -> p10)))) & (<r1> ~((~(<r1> (p14 & p4)) -> ([r1] ((p10 | p4) -> (p5 | p15)))) & (<r1> [r1] p8) & (~p5 -> (p1 | p9)) & ~([r1] ~p6) | (<r1> (((<r1> ~p7) -> ([r1] <r1> p2)) & (p5 & p8 | ([r1] p5)) & ((<r1> p11) -> ~p15)))))) -> (<r1> (((<r1> (([r1] ((<r1> p4) | p12 & p13 | ([r1] <r1> p3))) & ((([r1] p1) -> ~p6) | (([r1] p14) -> (p5 | p12)) | ~([r1] (p8 | p14))))) | ~~(([r1] [r1] p5) -> ((p14 | p4) & (<r1> p2))) | (<r1> ~~([r1] (p14 | p15)))) & (~~(<r1> (p13 | p4 | ([r1] p11) | ~(p11 -> p7))) -> ([r1] ((<r1> ((p1 -> p13) -> p10 -> p8)) -> ~([r1] (p1 | p4)))) -> (<r1> ~((<r1> p2) & p9 & p1 | (p8 -> p9) & (<r1> p8)))))) 
+end

data/InToHyLo/test-basic-random-43.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> (~((~((~(p3 & p7) & (p1 | p5) & (p8 -> p12)) -> (<r1> ((p12 | p5) & (<r1> p11)))) | (<r1> ~(<r1> ((p11 -> p6) | (p15 -> p10))))) & (((<r1> <r1> ~(p15 & p2)) -> ((<r1> (p1 | p8)) | ((p13 | p12) -> ([r1] p12)) | ([r1] (([r1] p15) -> ([r1] p12))))) | ([r1] ((<r1> <r1> [r1] p9) & ((~p12 | ~p12) -> (([r1] p8) & ([r1] p14))))))) -> ([r1] (((<r1> <r1> [r1] ((p5 -> p1) & ~p2)) -> ~((<r1> <r1> (p8 & p9)) & ((<r1> p15) | (<r1> p15) | ((p1 | p15) -> ([r1] p11))))) -> ~(<r1> [r1] ~~(p5 | p5))))) 
+end

data/InToHyLo/test-basic-random-44.intohylo

@@ -0,0 +1,3 @@
+begin
+~~(((<r1> [r1] ((<r1> [r1] p5) & (<r1> (p10 & p4)))) | ([r1] ((<r1> [r1] p3) & ~(p3 & p6))) | (<r1> (~(p14 -> p5) | ((p11 & p7) -> (p5 & p12))))) & (<r1> (([r1] [r1] ~(<r1> p1)) -> ((<r1> ~(p5 & p10)) & (((p14 | p9) & (p7 -> p11)) -> (p11 & p10 & p15 & p9)))))) | ([r1] (([r1] ((<r1> <r1> <r1> ((p15 | p15) & ([r1] p15))) -> (<r1> ((<r1> <r1> p2) & ([r1] (p5 & p12)) | ~(~p12 & (<r1> p9)))))) -> ([r1] ((<r1> (p14 & p12 | ([r1] p6))) & (~(p1 -> p8) | ~~p6) & ([r1] <r1> <r1> (p2 & p10)))) -> ~(<r1> ((<r1> ((p9 | p3) & (p12 | p5))) -> ~([r1] (p7 -> p3)))))) 
+end

data/InToHyLo/test-basic-random-45.intohylo

@@ -0,0 +1,3 @@
+begin
+~([r1] <r1> [r1] (([r1] [r1] <r1> ~(p4 & p10)) -> ~(~(<r1> [r1] p12) -> ((<r1> (p6 | p13)) | ([r1] (p2 -> p4)))))) 
+end

data/InToHyLo/test-basic-random-46.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] [r1] ((([r1] <r1> [r1] <r1> [r1] (p9 | p12)) -> ([r1] (((<r1> [r1] (p15 -> p15)) -> ~([r1] p14) -> (([r1] p15) | ([r1] p9))) & (((<r1> <r1> p12) | ([r1] (p2 -> p14))) -> (([r1] (p12 -> p4)) & (([r1] p1) | (<r1> p10))))))) & ([r1] [r1] ((~([r1] p5) -> (p6 & p12 | p7 | p14)) -> (([r1] [r1] p3) & ((p13 & p7) -> ([r1] p8))))) & ((<r1> ((<r1> ((<r1> p10) & p9 & p2)) -> (((p15 -> p12) | ([r1] p1)) & ~(<r1> p4)))) | ~(~([r1] p13) | (([r1] p14) -> (<r1> p9))) | p13 & p13 & p15 & p14 | ~(<r1> p1) | ([r1] <r1> p11) & ~(p9 | p5))) 
+end

data/InToHyLo/test-basic-random-47.intohylo

@@ -0,0 +1,3 @@
+begin
+([r1] [r1] (~((((<r1> (p4 | p2)) -> (<r1> [r1] p12)) | ([r1] (p8 | p2 | ([r1] p5)))) -> ([r1] ((([r1] p3) -> ~p6) & ([r1] <r1> p7)))) | ~(((<r1> ~([r1] p13)) | ((p10 & p8 & ~p3) -> ((p10 -> p13) | ([r1] p14)))) -> (<r1> (([r1] (p13 -> p15)) | p7 | p4 | (p10 -> p9)))))) | ~((((<r1> <r1> ((<r1> p7) | ([r1] p7) | ([r1] <r1> p10))) | ~([r1] <r1> [r1] p5) & ((<r1> [r1] [r1] p2) -> ((<r1> p13) & ~p10 & ([r1] [r1] p6)))) & (((((p15 & p9 & p9 & p14) -> (p10 & p14 | (<r1> p7))) -> ((<r1> ~p9) & ((p6 | p3) -> ([r1] p1)))) -> ([r1] <r1> ~(<r1> p5))) -> ~~(((p10 | p12) -> (<r1> p4)) & (<r1> (p13 & p10))))) -> (<r1> (~(<r1> [r1] <r1> p12) & ~((<r1> (p14 -> p13)) -> ([r1] p1) -> (p9 | p3)) | (~((<r1> p11) | ([r1] p13) | ((p5 -> p12) -> (<r1> p12))) -> (<r1> (~(p13 -> p13) | (<r1> p11) | p7 & p11)))))) 
+end

data/InToHyLo/test-basic-random-48.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> ~([r1] (~((<r1> <r1> p2) -> ~(p9 | p13)) & (~p2 & ([r1] p5) | (p15 | p13) & ~p3 | (<r1> [r1] (p7 | p4))) | ~((((p5 | p11) -> (p9 | p4)) | (<r1> p2) | p12 | p1) & (([r1] p2) & (<r1> p10) | ~(p3 & p12)))))) -> ~~((~(<r1> (p7 -> p6)) & ([r1] (p12 & p14 & p8 & p8)) & (<r1> (((p13 | p6) -> ~p9) -> (([r1] p14) & ~p6))) | ~~((p8 & p9 | ([r1] p14)) & ((p1 -> p8) | (p2 -> p5)))) & (<r1> ~(<r1> [r1] <r1> [r1] p14))) 
+end

data/InToHyLo/test-basic-random-49.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> (((<r1> ~(<r1> [r1] p7)) | (<r1> ((p15 | p1 | ([r1] p1)) -> ((p4 -> p4) | (<r1> p6))))) & (<r1> [r1] ~(<r1> p12)) & (<r1> <r1> (p6 & p3 & (p8 | p3))) & (([r1] <r1> [r1] ~p6) | (((p12 & p4 & p5 & p9) -> ((p13 -> p14) | p8 | p12)) -> ((p10 -> p5) & ([r1] p3)) -> ((<r1> p12) & ([r1] p8)))) & ((<r1> ~([r1] p12)) -> ~(p8 | p3) -> ([r1] (p1 -> p10))) & ((((p6 | p15) -> ~p15) -> (<r1> ~p4)) | ~~([r1] p12)) | ~((<r1> ~([r1] ((p6 & p2) -> (<r1> p2)))) -> (<r1> (([r1] (p3 & p12)) -> ([r1] ~p3))) -> (<r1> (~p15 | ~p4 | (p11 | p2) & (p14 | p14)))))) | ([r1] ~(<r1> [r1] (~([r1] (([r1] p13) | p15 & p7)) & ([r1] ~(<r1> (p8 -> p2)))))) 
+end

data/InToHyLo/test-basic-random-50.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] ((<r1> ((~(([r1] p3) -> p5 -> p2) -> (((p2 -> p3) | (p3 -> p5)) & (<r1> (p3 | p2)))) | (<r1> ((<r1> [r1] p5) & ([r1] (p1 -> p4)))))) -> ~((<r1> ((p2 -> p4) | (<r1> p1))) | ~~~p2 | ~(p2 | p4) & (<r1> (p4 | p5)) & ([r1] ((p2 -> p5) -> p2 -> p4)))) 
+end

data/InToHyLo/test-basic-random-51.intohylo

@@ -0,0 +1,3 @@
+begin
+~(([r1] (([r1] (((<r1> p5) -> ~p2) & (<r1> p3) & (p3 | p4))) -> (([r1] (p2 -> p3)) -> (<r1> <r1> p3)) -> ([r1] ~p3) -> ((<r1> p3) | p2 & p4))) & (((([r1] (([r1] p5) -> ([r1] p2))) | ~(p4 -> p1) | ([r1] p5) & ~p2) & ([r1] ((~p3 | p4 & p4) & (<r1> ~p1)))) -> ~(~p3 & ~p2 & ([r1] (p3 -> p1)) & (<r1> [r1] [r1] p3)))) 
+end

data/InToHyLo/test-basic-random-52.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> <r1> [r1] ~((<r1> <r1> (p5 | p1)) & ([r1] (~p5 | p1 | p5))) 
+end

data/InToHyLo/test-basic-random-53.intohylo

@@ -0,0 +1,3 @@
+begin
+(<r1> (~(([r1] ((<r1> p3) | (<r1> p4))) & ((~p2 -> p1 -> p1) | ([r1] p4) | p5 | p5)) | (~~([r1] p1) -> ~((p4 -> p1) | p2 | p2)) | ([r1] ((<r1> p5) -> (<r1> p4))) | ((p2 | p1 | ~p2) -> ~~p2))) -> (([r1] <r1> (~p3 | (<r1> p1))) | (<r1> [r1] (~p4 & ([r1] p3))) | ([r1] ((<r1> ((p5 | p5) & ~p5)) | ~~~p2)) | (~(<r1> ((<r1> (p2 | p4)) | ~p2 & ([r1] p5))) -> (~(~(p5 | p1) -> ~(p1 & p3)) & (<r1> [r1] <r1> (p2 -> p4))))) 
+end

data/InToHyLo/test-basic-random-54.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] <r1> ((<r1> [r1] (([r1] (p3 | p1)) | (<r1> (p1 | p3)))) -> (~([r1] (p3 -> p3)) & (<r1> <r1> [r1] p4)) -> ((p1 -> p3) | p2 & p4 | ([r1] (p4 -> p3)) | (~(<r1> p4) -> (([r1] p5) & ~p2)))) 
+end

data/InToHyLo/test-basic-random-55.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] ((<r1> ((((([r1] p4) -> ~p4) & (<r1> (p4 | p2))) -> (<r1> (p1 | p2)) -> ((p3 -> p4) & (p3 | p2))) | (<r1> <r1> <r1> <r1> p1))) & ([r1] (((([r1] ~p5) -> ((<r1> p1) & (<r1> p5))) | ([r1] ((p5 -> p2) & ([r1] p3)))) & (([r1] (p5 & p4)) & ([r1] ~p5) | (<r1> (p5 | p2)) | ~(<r1> p4))))) 
+end

data/InToHyLo/test-basic-random-56.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> (((~(<r1> ((p3 | p2) -> p2 -> p2)) | ~([r1] ~(p4 -> p1))) -> (~((p1 & p5 | ~p3) & ~(p1 & p1)) & ((((<r1> p2) -> ~p1) | ([r1] p4) | ([r1] p4)) -> ((<r1> (p2 | p1)) & ~([r1] p1))))) -> (((<r1> ((p5 -> p5) | (p1 -> p2))) | (((p1 | p1) & ([r1] p4)) -> (<r1> (p3 | p4)))) & ~~(p5 -> p3) & ([r1] (p2 & p2 | p4 & p3)) & (([r1] ~(([r1] p2) & (p1 | p5))) | ([r1] (~(<r1> p3) -> (([r1] p4) | (p3 -> p5))))))) 
+end

data/InToHyLo/test-basic-random-57.intohylo

@@ -0,0 +1,3 @@
+begin
+[r1] (((<r1> (((p5 -> p3) | (<r1> p3)) -> (<r1> [r1] p3))) & (((<r1> [r1] p3) | (p5 -> p5) & p4 & p5) -> ~(p5 & p3) -> (<r1> <r1> p3)) | ((([r1] (p1 & p2)) & (p4 | p4) & (p1 -> p1)) -> (([r1] (p1 -> p1)) | p4 & p5 & (<r1> p2))) & ~(<r1> (~p4 & (p4 -> p3)))) & (~(<r1> ~([r1] (p3 -> p5))) | (<r1> (~p1 & ~p5 | ~(<r1> p1) | ((p5 -> p1) | (p3 -> p4)) & ((<r1> p2) -> ([r1] p4)))))) 
+end

data/InToHyLo/test-basic-random-58.intohylo

@@ -0,0 +1,3 @@
+begin
+<r1> ((~((([r1] p2) -> (p1 & p5)) | ~(<r1> p1)) | (<r1> ((<r1> p5) | p5 | p4)) & (([r1] ~p5) -> ~([r1] p1)) | (((([r1] p5) | (<r1> p1)) & (([r1] p5) | p3 & p1)) -> ~(([r1] p4) -> (<r1> p5))) & ((<r1> <r1> p4) | ([r1] (p2 & p1)) | (<r1> (p2 | p5)) & (([r1] p3) -> (p1 & p2)))) & ((<r1> <r1> ~((<r1> p5) & ~p3)) -> (<r1> [r1] (~([r1] p5) | (<r1> (p1 & p1)))))) 
+end

data/InToHyLo/test-basic-random-59.intohylo

@@ -0,0 +1,3 @@
+begin
+~(~~((<r1> p1) & ([r1] p4) & ([r1] [r1] p4)) -> ((((<r1> p2) | ~p4) -> (p5 | p4) -> (p5 | p1)) | (<r1> (([r1] p3) & ~p3))) -> ~((<r1> <r1> p2) -> ~(<r1> p2))) -> ~(((([r1] (p3 & p3)) | ~~p1) -> ([r1] (p5 & p2 & (p2 -> p5)))) & ([r1] ~([r1] (p3 & p4))) | (([r1] ((<r1> [r1] p5) | ~(p3 & p2))) -> ((([r1] p5) | ~p2) & ~p1 & (p1 | p3)) -> (([r1] p1) & (p4 -> p1)) -> ((<r1> p4) | ~p1))) 
+end

data/InToHyLo/test-basic-random-60.intohylo

@@ -0,0 +1,3 @@
+begin
+~(~(<r1> ((~(<r1> (p15 & p7 & p10 & p9)) -> ([r1] ((p8 | p9 | ([r1] p3)) & ~(<r1> p15)))) & ([r1] (~([r1] [r1] p14) | ([r1] ~(p13 | p3)))))) | ((~(<r1> (((<r1> [r1] p15) | (p14 -> p15) & (<r1> p5)) -> ((<r1> ~p9) | ([r1] p2) & ([r1] p5)))) & ~(~~(~p12 | p4 & p6) & (<r1> <r1> <r1> [r1] p7))) -> (~([r1] (~((p10 -> p2) | p10 & p12) | ~([r1] p7) & (<r1> ~p6))) | ([r1] ~(([r1] (p8 | p11 | (p1 -> p9))) & ([r1] (~p13 & ~p6))))))) 
+end