anchor.diff:  -spec t_opaque(module(), atom(), [_], erl_type()) -> erl_type().
   
   t_opaque(Mod, Name, Args, Struct) ->
  -  ?opaque(set_singleton(#opaque{mod=Mod, name=Name, args=Args, struct=Struct})).
  +  O = #opaque{mod = Mod, name = Name, args = Args, struct = Struct},
  +  ?opaque(set_singleton(O)).
   
   -spec t_is_opaque(erl_type()) -> boolean().
   
  
positive.code:     error -> 
        case dict:find(Id2, Dict) of
  	error -> {T, dict:store(Id2, T, Dict)};
  	{ok, Type} -> {Type, t_unify(T, Type, Dict, Opaques)}
        end;
      {ok, Type1} ->
        case dict:find(Id2, Dict) of
  
negative.code:   [];
  sequence([T], Acc, _Delimiter) ->
    lists:flatten(lists:reverse([T|Acc]));
  sequence([T|Ts], Acc, Delimiter) ->
    sequence(Ts, [T ++ Delimiter|Acc], Delimiter).
  
  %%=============================================================================
  %% 
  