Created tests for CNF assignment

Still requires documentation though