added Not strategy.
- The to string function returns only the name of the sort instead of
its full toString representation. (in the toString representation of
SigmaDDs)
- ASort: format fix.
T2 working
Fixed bug in basic SigmaDD operations.
First version of BEEM translator: only state change working.
Added support for global variables.
Pre-refactoring
assignments work with global variables and sums
Completed refactoring: Removed added a Helper for expressions.
Massive refactoring: Introduced State monad.
Finished first version of array support (untested!)
Finished the reading of global arrays.
Finished global arrays support.