anchor.diff:      catch
           throw:Term -> ?ct_fail("exception (throw) in ~p:~p(~p): ~p~n", [Module, Func, [], {exception, Term}]);
           % special handling for exits that come from a ct:fail() call:
  -        exit:{test_case_failed, _} = Reason -> exit(Reason);
  +        exit:{test_case_failed, Reason} -> ?ct_fail("error ~p:~p(~p) failed with ~p~n", [Module, Func, [], Reason]);
           exit:Reason -> ?ct_fail("exception (exit) in ~p:~p(~p): ~p~n", [Module, Func, [], {exception, Reason}]);
           error:Reason -> ?ct_fail("exception (error) in ~p:~p(~p): ~p~n", [Module, Func, [], {exception, {Reason, erlang:get_stacktrace()}}])
       end;
  
positive.code:     catch
          throw:Term -> ?ct_fail("exception (throw) in ~p:~p(~p): ~p~n", [Module, Func, Args, {exception, Term}]);
          % special handling for exits that come from a ct:fail() call:
          exit:{test_case_failed, _} = Reason -> exit(Reason);
          exit:Reason -> ?ct_fail("exception (exit) in ~p:~p(~p): ~p~n", [Module, Func, Args, {exception, Reason}]);
          error:Reason -> ?ct_fail("exception (error) in ~p:~p(~p): ~p~n", [Module, Func, Args, {exception, {Reason, erlang:get_stacktrace()}}])
      end.
  
negative.code:         false ->
              {{typedef, TypeModule, TypeName}, tester_parse_state:add_unknown_type(TypeModule, TypeName, ParseState)}
      end;
  parse_type({type, _Line, 'function', []}, _Module, ParseState) ->
      {{'function'}, ParseState};
  parse_type({type, _Line, TypeName, []}, Module, ParseState) ->
      %ct:pal("type1 ~p:~p", [Module, TypeName]),
  