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

Welcome to IgorII. 
Running IgorII in batch mode with file: tests/lenses.bat

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

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

             lenses       in 206     loops
             

                 [1mHYPOTHESIS 1 of 3[0m

lenses (_, _, _, Reduced) = None
lenses (_, Hypermetrope, No, Norml) = Soft
lenses (_, Myope, Yes, Norml) = Hard
lenses (PrePresbyopic, Hypermetrope, Yes, Norml) = None
lenses (PrePresbyopic, Myope, No, Norml) = Soft
lenses (Presbyopic, Hypermetrope, Yes, Norml) = None
lenses (Presbyopic, Myope, No, Norml) = None
lenses (Young, Hypermetrope, Yes, Norml) = Hard
lenses (Young, Myope, No, Norml) = Soft



                 [1mHYPOTHESIS 2 of 3[0m

lenses (_, _, _, Reduced) = None
lenses (_, Hypermetrope, No, Norml) = Soft
lenses (_, Myope, Yes, Norml) = Hard
lenses (PrePresbyopic, Hypermetrope, Yes, Norml) = None
lenses (PrePresbyopic, Myope, No, Norml) = Soft
lenses (Presbyopic, Hypermetrope, Yes, Norml) = None
lenses (Presbyopic, Myope, No, Norml) = None
lenses (Young, Hypermetrope, Yes, Norml) = Hard
lenses (Young, Myope, No, Norml) = Soft



                 [1mHYPOTHESIS 3 of 3[0m

lenses (_, _, _, Reduced) = None
lenses (_, Myope, Yes, Norml) = Hard
lenses (PrePresbyopic, _, No, Norml) = Soft
lenses (PrePresbyopic, Hypermetrope, Yes, Norml) = None
lenses (Presbyopic, Hypermetrope, No, Norml) = Soft
lenses (Presbyopic, Hypermetrope, Yes, Norml) = None
lenses (Presbyopic, Myope, No, Norml) = None
lenses (Young, _, No, Norml) = Soft
lenses (Young, Hypermetrope, Yes, Norml) = Hard

...batch processing finished.
Bye.
