- "-p", A.Set G.no_types, help_p;
- "-t", A.Set G.test, help_t;
+ "-a", A.Set G.log_alpha, help_a;
+ "-c", A.Set G.check, help_c;
+ "-g", A.Set G.global_alpha, help_g;
+ "-l", A.String set_list, help_l;
+ "-m", A.Set G.log_missing, help_m;
+ "-p", A.Set G.no_proofs, help_p;
+ "-t", A.Set G.no_types, help_t;