anchor.diff:         {[0],_}, %% Upstream TL returns spdim
          eval("#.d where var d = 0 end")),
       ?_assertMatch(
  -       {[{string,"t"}],_}, %% Upstream TL returns spdim
  +       {["t"],_}, %% Upstream TL returns spdim
          eval("#.d where var d = `t`;; dim t <- 0 end")),
       %%
       ?_assertMatch(
  
positive.code:   {foreach, fun setup/0, fun cleanup/1,
     [
      ?_assertMatch(
         {1,_}, %% TODO This should give a compilation error "Error, dim t already defined."
         eval("#.t where dim t <- 0;; dim t <- 1 end")),
      ?_assertMatch(
         {1,_}, %% TODO This should give a compilation error "Error, var A already defined."
         eval("A where var A = 0;; var A = 1 end")),
      ?_assertMatch(
         {2,_}, %% TODO This should give a compilation error "Error, param x already defined."
         eval("F.2.1 where fun F.x.x = x*2 - x end"))
     ]}.
  
  
negative.code:    ?_assertMatch(
        {wheredim,
         {wheredim, _,
          [{InnerDimD,{int,46}}]},
         [{OuterDimD,{int,58}}]} when InnerDimD /= OuterDimD,
        t1(t0(s(S))))
    ].
  
  