added discard_forall and skolemize but skolemize is still buggy
merged with remote cnf and deleted my skolemize
fixed conflicts before pushing