anchor.diff:  %% Primop
   %%-------------------------------------------------------------------------------------
   eval({primop, Primop, Eis}, I, E, K, D, W, T) ->
  -  {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({closure, _ClI, _ClE, Abs}=Cl, I, E, K, D, W, T) ->
    Is = frozen_expressions(Abs),
    {Dis, MaxT} = tpar:eval(Is, I, E, K, D, W, T),
    case tset:union_d(Dis) of
      {true, Dims} ->
        {Dims, MaxT};
  
negative.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} = ice_par:eval([E0 | Eis], I, E, K, D, W, T),
    case tset:union_d(D0is) of
      {true, Dims} ->
        {Dims, MaxT};
  