add CLI flag to cnf_of_tptp about miniscoping behavior