anchor.diff:        dim t <- 3
         fun F.x = x + #.t
       end",
  -  {foreach, fun setup/0, fun cleanup/1,
  -   [ ?_assertMatch({49,_}, eval(S)) ]}.
  +  ?assertMatch({49,_}, eval(S)).
   
   b_abs_can_access_formal_params_of_outer_b_abs_and_local_dims_of_outer_wheredim() ->
     S =
  
positive.code:     [ {_, {b_abs,[DimT],[_],{wheredim,_,_}}} ]},
     [ {DimT,0} ]} =
      t1(t0(s(S))),
    {foreach, fun setup/0, fun cleanup/1,
     [
      ?_assertMatch({46,_}, eval(S)) %% BTW upstream TL returns spdim
     ]}.
  
  b_abs_cannot_access_dims_in_application_context() ->
    S = "(F.t where dim t <- 0 end) where fun F.x = #.x end",
    {foreach, fun setup/0, fun cleanup/1,
     [
      ?_assertMatch({[{dim,_,"t"}],_}, eval(S)) %% BTW upstream TL returns spdim
     ]}.
  
  creation_of_b_abs_in_multiple_contexts_plays_nicely_w_cache() ->
    %% Test similar to
  
negative.code:       fun F.x.y = x - y
        fun G.x = F
      end",
    ?assertMatch({43,_}, eval(S)).
  
  b_abs_can_access_formal_params_of_outer_b_abs() ->
    S =
  