anchor.diff:  
   same_length_type(Reg, Vst) ->
       case get_term_type(Reg, Vst) of
  -        {literal,[_|_]} -> cons;
           cons -> cons;
           nil -> nil;
           _ -> list
  
positive.code:         {catchtag,_} -> error({catchtag,Src});
          {trytag,_} -> error({trytag,Src});
          tuple_in_progress -> error({tuple_in_progress,Src});
          {literal,_}=Lit -> get_literal_type(Lit);
          Type -> Type
      end.
  
  
negative.code:                            {Es, Index + 1}
                     end, {#{}, 1}, tuple_to_list(T)),
      {tuple, tuple_size(T), Es};
  glt_1(_Term) ->
      term.
  
  %%%
  %%% Branch tracking
  