Introducing the CNF model tester.