Removed the schedule refinement sequencing from the LaTeX syntax of Unit-B
Added one test case for set theoretic specifications
Moved the Z3 commands and pretty printing to Z3.Z3
Adapted the expression parser to support functions ranges and other functional operator (i.e. op.arg)
Some proof obligations are not discharged any more. An hypothesis filter might help with that.