- added unit tests for nnf and simplify
- updated the simplify method to use the use_absorptions
parameter(previously only the first call did that and not recursivly)