Add cnf test for particular cases
Remove unused main