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

Welcome to IgorII. 
Running IgorII in batch mode with file: regression_tests/wrongdirectcall.bat

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

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

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

             div1_5       in 33     loops
             

                 [1mHYPOTHESIS 1 of 4[0m

div1_5 (Z) = Z
div1_5 (S a0) = S (fun1 (S a0))
fun1 (S (Z)) = Z
fun1 (S (S a0)) = S (div1_5 (fun13 (S (S a0))))
fun13 (S (S (Z))) = Z
fun13 (S (S (S a0))) = a0



                 [1mHYPOTHESIS 2 of 4[0m

div1_5 (Z) = Z
div1_5 (S a0) = S (fun1 (S a0))
fun1 (S (Z)) = Z
fun1 (S (S a0)) = S (div1_5 (fun14 (S (S a0))))
fun14 (S (S (Z))) = S Z
fun14 (S (S (S a0))) = a0



                 [1mHYPOTHESIS 3 of 4[0m

div1_5 (Z) = Z
div1_5 (S (Z)) = S Z
div1_5 (S (S a0)) = S (S (div1_5 (fun17 (S (S a0)))))
fun17 (S (S (Z))) = Z
fun17 (S (S (S a0))) = a0



                 [1mHYPOTHESIS 4 of 4[0m

div1_5 (Z) = Z
div1_5 (S (Z)) = S Z
div1_5 (S (S a0)) = S (S (div1_5 (fun18 (S (S a0)))))
fun18 (S (S (Z))) = S Z
fun18 (S (S (S a0))) = a0

...batch processing finished.
Bye.
