anchor.diff:     ?_assertMatch(
         {wheredim,
          {wheredim, _,
  -        [{InnerDimD,46}]},
  -       [{OuterDimD,58}]} when InnerDimD /= OuterDimD,
  +        [{InnerDimD,{int,46}}]},
  +       [{OuterDimD,{int,58}}]} when InnerDimD /= OuterDimD,
         t1(t0(s(S))))
     ].
   
  
positive.code:        {[0],_}, %% Upstream TL returns spdim
         eval("#.d where var d = 0 end")),
      ?_assertMatch(
         {[{string,"t"}],_}, %% Upstream TL returns spdim
         eval("#.d where var d = `t`;; dim t <- 0 end")),
      %%
      ?_assertMatch(
  
negative.code:    ?_assertMatch({31,_}, eval(S))}. %% Upstream TL returns 31
  
  transform1_rules_test_() ->
    Consts = [{int, 46},
              {bool, false},
              {string,"ciao"}],
    ConstTests = lists:zip(Consts, Consts),
    WheredimTest = {WheredimTree, WheredimExpected} =
      { {where,    {'#',            "t" }, [{ dim,       "t", {int,46}}]},
        {wheredim, {'#',{dim,{[],1},"t"}}, [{{dim,{[],1},"t"},{int,46}}]} },
    WheredimTreeF =
      fun(DimName) when is_list(DimName) ->
          {where,    {'#',             DimName }, [ {dim,        DimName,{int,46}}]}
      end,
    WheredimExpectedF =
      fun(DimName, Pos) when is_list(DimName), is_list(Pos) ->
          {wheredim, {'#',{dim,{Pos,1},DimName}}, [{{dim,{Pos,1},DimName},{int,46}}]}
      end,
    WheredimTree     = WheredimTreeF(    "t"),
    WheredimExpected = WheredimExpectedF("t", []),
  