let output_ty = out_option ~default:"cnf" ()