JUnit tests for formula parsing and CNF conversion done.

- The CNF Converter create a formula the size of which can be
exponential in the number of clauses.