Better type checking of solver object in output_cnf()