Removed support for unused prev operator
Bugfix for corner case in CNFization algorithm
Merge branch 'master' of github.com:mwolf76/gnuSMV