anchor.diff:  %%-------------------------------------------------------------------------------------
   eval({wheredim, E0, XiEis}, I, E, K, D, W, T) ->
     {Xis, Eis} = lists:unzip(XiEis),
  -  {Dis, MaxT} = tpar:eval(Eis, I, E, K, D, W, T),
  +  {Dis, MaxT} = ice_par:eval(Eis, I, E, K, D, W, T),
     case tset:union_d(Dis) of
       {true, Dims} ->
         {Dims, MaxT};
  
positive.code:   freeze_closure(tclosure:close_abs(Abs, I, E), I, E, K, D, W, T);
  
  eval({b_apply, E0, Eis}, I, E, K, D, W, T) ->
    {D0is, MaxT} = tpar:eval([E0 | Eis], I, E, K, D, W, T),
    case tset:union_d(D0is) of
      {true, Dims} ->
        {Dims, MaxT};
  
negative.code:   freeze_closure(tclosure:close_abs(Abs, I, E), I, E, K, D, W, T);
  
  eval({v_apply, E0, Eis}, I, E, K, D, W, T) ->
    {D0is, MaxT} = ice_par:eval([E0 | Eis], I, E, K, D, W, T),
    case tset:union_d(D0is) of
      {true, Dims} ->
        {Dims, MaxT};
  