
  .___                   ._ ._             
  |   | ____  ____ ._____| || |  ._       
  |   |/ __ \/  _ \|  __ \ || | _| |__ 
  |   / /_/  ) <_> )  | \/ || |/_   _/   
  |___\___  /\____/|__|  |_||_|  |_|    
     /_____/                v0.8

Welcome to IgorII. 
Running IgorII in batch mode with file: tests/flatten-accum.bat

      [1m- - - - START SYNTHESIS WITH - - - -[0m

Targets              'flatten'
Background           <none>
Simplified           True
Greedy rule-splitting False
Accumulators         True
Enhanced             False
Use paramorphisms    False
Compare rec args     AWise
DumpLog              False
Debug                False
Maximal tiers        0
Maximal loops        -1

      [1m- - - - - - - FINISHED - - - - - - -[0m

             flatten      in 13     loops
             

                 [1mHYPOTHESIS 1 of 1[0m

flatten a0 = fun1 a0 []
fun1 (NilT) a0 = a0
fun1 (Node a0 a1 a2) a3 = a0 : fun1 a1 (fun1 a2 a3)

Testing 1. hypothesis of: 'flatten'
  flatten (Node 1 (Node 2 (Node 3 (Node 4 NilT NilT) (Node 5 NilT NilT)) (Node 6 (Node 7 NilT NilT) (Node 8 NilT NilT))) (Node 9 (Node 10 (Node 11 NilT NilT) (Node 12 NilT NilT)) (Node 13 (Node 14 NilT NilT) (Node 15 NilT NilT))))  ==  [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]

...batch processing finished.
Bye.
