added the toCNF functionality
Added demo toCNF
Added some extra utilities
Script to run the toCNF demo