* work in progress

* Updated printer to print prefix conjunction and disjunction when applied to single arg. Removes parts of the front (put in another branch.

* All tests passing.

* Test pass, equivalence checker tests takes a bit too much time

* adapted printer tests

* correcct errors pointed by reviewer.

* Removed testing from example file

* >= 0 instead of > 0