let print_model_DIG_file config = config.print_model_DIG_file