Added additional optimizer

This will be useful for variadic index lengths

1 files changed, 35 insertions, 35 deletions

diff --git a/test/fac.blc.dump b/test/fac.blc.dump
index 51a658c..db72801 100644
--- a/test/fac.blc.dump
+++ b/test/fac.blc.dump
@@ -1,40 +1,40 @@
 
 === START BLOC ===
 | entries:	35
-| entry 33:	(4 3)
-| entry 32:	[[[[3]]]]
-| entry 31:	(0 <32>)
-| entry 30:	((3 0) [[[0]]])
-| entry 29:	[[[((0 2) 1)]]]
-| entry 28:	[[[[(1 3)]]]]
-| entry 27:	((3 0) [[[1]]])
-| entry 26:	[(1 [((1 1) 0)])]
-| entry 25:	((3 0) [[[2]]])
-| entry 24:	(((<33> 2) 1) 0)
-| entry 23:	(<29> <32>)
-| entry 22:	[[[[[(0 <24>)]]]]]
-| entry 21:	[[[[[(1 <24>)]]]]]
-| entry 20:	[[[[[(2 <24>)]]]]]
-| entry 19:	(<22> 0)
-| entry 18:	(<22> 1)
-| entry 17:	(<21> 1)
-| entry 16:	(<20> 1)
-| entry 15:	(<22> <30>)
-| entry 14:	(<21> <30>)
-| entry 13:	(<20> <30>)
-| entry 12:	(<20> <27>)
-| entry 11:	(<21> <25>)
-| entry 10:	(<29> <18>)
-| entry 9:	(<29> <17>)
-| entry 8:	(<29> <16>)
-| entry 7:	[(([[[[[[((((5 2) 1) 0) <24>)]]]]]] 1) <30>)]
-| entry 6:	([(((<31> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0)
-| entry 5:	[(((1 <15>) <12>) <14>)]
-| entry 4:	[(((1 <11>) <15>) <13>)]
-| entry 3:	([([(1 (0 0))] [(1 (0 0))])] [[(((<31> [(<20> (2 0))]) [(<21> (2 0))]) [(<22> (2 0))])]])
-| entry 2:	(<3> 1)
-| entry 1:	[([(0 [[0]])] ((((0 (<23> <28>)) [(0 [[(<8> <18>)]])]) [(0 [[(<9> (<20> 0))]])]) [(0 [[(<10> <17>)]])]))]
-| entry 0:	[[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 ([([(0 [[0]])] ((((0 (<23> [[[[(2 3)]]]])) [(0 [[(<8> (<21> 0))]])]) [(0 [[(<9> <18>)]])]) [(0 [[(<10> <16>)]])]))] <2>)) (<1> <2>)) <2>)]]) [[[((((1 (<4> 1)) [(((1 (<22> <25>)) <13>) <11>)]) <7>) <4>)]]]) [[[((((1 (<5> 1)) <7>) [(((1 <14>) (<22> <27>)) <12>)]) <5>)]]]) [[[((((1 (<7> 1)) <4>) <5>) <7>)]]]))] 1) <6>)]]
-| final:	([((((([(<26> <26>)] [[[[[(((([[(([((((0 [([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] (<3> 0))]) [[((((0 [[0]]) [(2 0)]) [[[0]]]) [[[0]]])]]) [[((((0 [[0]]) [[[0]]]) [(2 0)]) [[[0]]])]]) [[((((0 (1 0)) [[[0]]]) [[[0]]]) [(2 0)])]])] 1) <6>)]] 2) (<1> 1)) 3) ((((4 (([[((((1 <32>) [(([[((<0> 1) ([[[[[(((<33> 1) 2) 0)]]]]] 0))]] <19>) 1)]) [((<0> <19>) 1)]) [<19>])]] 3) (0 2))) (<1> 2)) 1) 0))]]]]]) <28>) <28>) 0) [0])] [[[[(0 (1 (0 (1 3))))]]]])
+| entry 33:	(<2> <26>)
+| entry 32:	(<2> 1)
+| entry 31:	(<5> <32>)
+| entry 30:	[[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 ([([(0 [[0]])] ((((0 (<27> [[[[(2 3)]]]])) [(0 [[(<13> (<2> 0))]])]) [(0 [[(<31> <12>)]])]) [(0 [[(<24> <19>)]])]))] <11>)) (<8> <11>)) <11>)]]) [[[((((1 (<10> 1)) [(((1 (<0> <26>)) <18>) <33>)]) <14>) <10>)]]]) [[[((((1 (<9> 1)) <14>) [(((1 <29>) (<0> <25>)) <17>)]) <9>)]]]) [[[((((1 (<14> 1)) <10>) <9>) <14>)]]]))] 1) <20>)]]
+| entry 29:	(<2> <1>)
+| entry 28:	(4 3)
+| entry 27:	(<5> <3>)
+| entry 26:	((3 0) [[[2]]])
+| entry 25:	((3 0) [[[1]]])
+| entry 24:	(<5> <12>)
+| entry 23:	(<0> <1>)
+| entry 22:	(<0> 0)
+| entry 21:	([([(1 (0 0))] [(1 (0 0))])] [[(((<16> [(<6> (2 0))]) [(<2> (2 0))]) [(<0> (2 0))])]])
+| entry 20:	([(((<16> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0)
+| entry 19:	(<6> 1)
+| entry 18:	(<6> <1>)
+| entry 17:	(<6> <25>)
+| entry 16:	(0 <3>)
+| entry 15:	[(1 [((1 1) 0)])]
+| entry 14:	[(([[[[[[((((5 2) 1) 0) <4>)]]]]]] 1) <1>)]
+| entry 13:	(<5> <19>)
+| entry 12:	(<0> 1)
+| entry 11:	(<21> 1)
+| entry 10:	[(((1 <33>) <23>) <18>)]
+| entry 9:	[(((1 <23>) <17>) <29>)]
+| entry 8:	[([(0 [[0]])] ((((0 (<27> <7>)) [(0 [[(<13> <12>)]])]) [(0 [[(<31> (<6> 0))]])]) [(0 [[(<24> <32>)]])]))]
+| entry 7:	[[[[(1 3)]]]]
+| entry 6:	[[[[[(2 <4>)]]]]]
+| entry 5:	[[[((0 2) 1)]]]
+| entry 4:	(((<28> 2) 1) 0)
+| entry 3:	[[[[3]]]]
+| entry 2:	[[[[[(1 <4>)]]]]]
+| entry 1:	((3 0) [[[0]]])
+| entry 0:	[[[[[(0 <4>)]]]]]
+| final:	([((((([(<15> <15>)] [[[[[(((([[(([((((0 [([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] (<21> 0))]) [[((((0 [[0]]) [(2 0)]) [[[0]]]) [[[0]]])]]) [[((((0 [[0]]) [[[0]]]) [(2 0)]) [[[0]]])]]) [[((((0 (1 0)) [[[0]]]) [[[0]]]) [(2 0)])]])] 1) <20>)]] 2) (<8> 1)) 3) ((((4 (([[((((1 <3>) [(([[((<30> 1) ([[[[[(((<28> 1) 2) 0)]]]]] 0))]] <22>) 1)]) [((<30> <22>) 1)]) [<22>])]] 3) (0 2))) (<8> 2)) 1) 0))]]]]]) <7>) <7>) 0) [0])] [[[[(0 (1 (0 (1 3))))]]]])
 === END BLOC ===