anchor.diff:  
          ( noshort,
           "verify_module",
  -        Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module name"))),
  +        Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module_name"))),
           "Name of the module to verify");
   
          ( noshort,
           "__temp_no_proj",
  -        Accumulated (SimpleStr "module name"),
  +        Accumulated (SimpleStr "module_name"),
           "Don't generate projectors for this module");
   
          ( 'v',
  
positive.code: 
         ( noshort,
          "n_cores",
          IntStr "[positive integer]", //; detail_errors := false),
          "Maximum number of cores to use for the solver (implies detail_errors = false) (default 1)");
  
         ( noshort,
  
negative.code: 
        ( noshort,
          "debug",
          Accumulated (SimpleStr "module_name"),
          "Print lots of debugging information while checking module");
  
         ( noshort,
  