anchor.diff:            {State, Map, t_any()};
           Other -> erlang:error({'Unsupported primop', Other})
         end;
  -    'receive' ->
  -      handle_receive(Tree, Map, State);
       seq ->
         Arg = cerl:seq_arg(Tree),
         Body = cerl:seq_body(Tree),
  
positive.code: enter_type_lists([], [], Map) ->
    Map.
  
  enter_type_list([{Key, Val}|Left], Map) ->
    Map1 = enter_type(Key, Val, Map),
    enter_type_list(Left, Map1);
  enter_type_list([], Map) ->
    Map.
  
  enter_type(Key, Val, MS) ->
    case cerl:is_literal(Key) of
      true -> MS;
  
negative.code: -type types()     :: erl_types:type_table().
  
  -type curr_fun()  :: 'undefined' | 'top' | mfa_or_funlbl().
  
  -define(TYPE_LIMIT, 3).
  
  