anchor.diff:        fun F!x = x - #.t
       end",
     {where, {where, {fn_call, "F", [{v_param, 46}]}, _}, _} = s(S),
  -  {setup, fun setup/0, fun cleanup/1,
  +  {foreach, fun setup/0, fun cleanup/1,
      %% XXX Is this test valid? Shall v_abs be able to access local
      %% dimensions with the same name of dimensions references in the
      %% body of the abs? Local dimensions of wheredim are replaced with
  
positive.code:           }}]},
         [{WheredimX,46}]},
       t1(t0(s(S)))),
    {setup, fun setup/0, fun cleanup/1,
     [ ?_assertMatch({47,_}, eval(S)) ]}.
  
  wheredim_nested_in_b_abs_does_not_cause_wrong_substitution() ->
  
negative.code:   ?assertEqual({wherevar, "F",
                  [{"F", {b_abs, [], [ArgAsPhiDim], {'?',ArgAsPhiDim}}}]},
                 t1(t0(T))),
    {foreach, fun setup/0, fun cleanup/1,
     [
      ?_assertMatch(
         { {frozen_closed_b_abs, _I, _E, [], [ArgAsPhiDim], {'?',ArgAsPhiDim}}, _},
  