Remove redundant function call.

skolemize() calls safe(), so there's no reason for cnf() to call it, too.
Merge branch 'master' of github.com:winobes/modal-logic