anchor.diff:              %%
               {ok, [T, P]} = parse(AnalysisFile),
               io:format("~p~n~n~p~n", [P, ets:tab2list(T)]),
  -            ok = verify(T, P),
  +            try
  +                ok = verify(T, P)
  +            catch throw:{negative,_Weird} ->
  +                    io:format("Aborted as counter is negative because of bad cpu_time")
  +            end,
               Proc = pid_to_list(self()),
               case P of
                   [{analysis_options, _},
  
positive.code:                   {Proc, Cnt_P, Acc_P, Own_P} = Clocks
                      when Acc_P >= Own_P ->
                        Clocks;
                    Weird ->
                        throw({error, [?MODULE, ?LINE, Weird]})
                end
  
negative.code:             io:format("cpu_ts:~w, fprof:~w~n", [Acc, Acc1]),
              {comment, io_lib:format("~p% cpu utilization", [100*divide(Acc,Acc1)])};
          {'EXIT', not_supported} ->
              {skipped, "not_supported"};
          _ ->
              ct:fail(Result)
      end,
  