cnf: not-atoms-only are implemented

 * This function solves all negated expressions in parenthesis and makes
   the negation in front of atoms only.