message: [move-prover] Fixed debug function spec counter
  Counter was reversed and printing (n-m)/n functions
  are specified instea of m/n, where n is the total
  number of functions and m is the number of functions
  with specifications.
  Closes:
  Approved by: wrwg
diff: @@ -349,7 +349,7 @@ impl<'env> ModuleTranslator<'env> {
  if !func_env.is_native() {
  num_fun += 1;
  }
  - if !func_env.get_spec().has_conditions() && !func_env.is_native() {
  + if func_env.get_spec().has_conditions() && !func_env.is_native() {
  num_fun_specified += 1;
  }
  self.writer.set_location(&func_env.get_loc());
  