anchor.diff:  simplify_internal(TupDom,Tup) when is_tuple(TupDom), is_tuple(Tup) ->
       %% try to simplify it 10 times...
       simplify_tuple(TupDom, Tup, 10);
  +
  +simplify_internal(ListDom,List) when is_tuple(ListDom), is_tuple(List) ->
  +    %% try to simplify it 10 times...
  +    simplify_tuple(ListDom, List, 10);
   
   
   %%
  
positive.code:     end.
  
  %%
  %% atoms...
  %%
  simplify_atom(_,'',_) ->
  
negative.code: simplify_internal(_, 0) -> 
      0;
  
  simplify_internal(_, 0.0) -> 
      0.0;
  
  simplify_internal(#?DOM{kind=any}=Dom, Val) when is_tuple(Val) ->
      list_to_tuple(simplify_internal(Dom,tuple_to_list(Val)));
  
  