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

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

      - - - - START SYNTHESIS WITH - - - -

Targets              'antiunifywildcard'
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

      - - - - - - - FINISHED - - - - - - -

             antiunifywildcard in 3     loops
             

                 HYPOTHESIS 1 of 1

antiunifywildcard (Z) a0 _ _ _ = S a0
antiunifywildcard (S a0) _ a2 a3 a4 = antiunifywildcard a0 (S a2) (S (S a3)) (S (S (S (S a4)))) (error "?n4")

Testing 1. hypothesis of: 'antiunifywildcard'
  antiunifywildcard (S(S(S Z))) Z Z Z Z  ==  S (S (S (S (S (S (S (S Z)))))))

...batch processing finished.
Bye.