Not complete method for transforming predicates to cnf