Removed useless var replacement from standardize
Added to_cnf, to_dnf, entails and tests