Introducing the CNF model tester.
Merge pull request #1 from prokls/master

Introducing the CNF model tester.