anchor.diff:          [] ->
               ParseState3;
           NewUnknownTypes ->
  -            collect_unknown_type_infos(NewUnknownTypes, ParseState3)
  +            collect_unknown_type_infos(NewUnknownTypes, ParseState3, Counter - 1)
       end.
   
   -spec collect_type_info/3 :: (module(), atom(), #parse_state{}) -> #parse_state{}.
  
positive.code:         [] ->
              ParseState2;
          UnknownTypes ->
              collect_unknown_type_infos(UnknownTypes, ParseState2)
      end,
      case tester_parse_state:lookup_type({'fun', Module, Func, Arity}, ParseState3) of
          {value, _} ->
  
negative.code:     {binary, ParseState};
  parse_type({type, _Line, pid, []}, _Module, ParseState) ->
      {pid, ParseState};
  parse_type({type, _Line, tid, []}, _Module, ParseState) ->
      {tid, ParseState};
  parse_type({type, _Line, port, []}, _Module, ParseState) ->
      {port, ParseState};
  parse_type({type, _Line, float, []}, _Module, ParseState) ->
  