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