remove useless -def-limit argument to the CNF