anchor.diff:  
   toplevel_base_fun() ->
     S = "square.3 where fun square.x = x * x end",
  -  {setup, fun setup/0, fun cleanup/1,
  +  {foreach, fun setup/0, fun cleanup/1,
      [ ?_assertMatch({9,_}, eval(S)) ]}.
   
   b_fun_w_two_formal_params_is_represented_as_one_b_abs_and_b_apply() ->
  
positive.code:   {where, "F", [FnF]} = s("F where fun F!x = x - #.t end"),
    T = {where, {'@', s("F!46"), s("[t <- 1]")}, [FnF]},
    %% "F!46 @ [t <- 1] where fun F!x = x - #.t end"
    {setup, fun setup/0, fun cleanup/1,
     [ ?_assertMatch({45,_}, eval(T)) ]}.
  
  v_abs_cannot_access_local_dims_in_application_context() ->
  
negative.code:                 [{"F", {b_abs, [], ["x", "y"],
                          {primop, _, ["x", "y"]}}}]},
                 _BAbsT0 = t0(s(S))),
    {foreach, fun setup/0, fun cleanup/1,
     [ ?_assertMatch({45,_}, eval(S)) ]}.
  
  b_abs_nested_in_wheredim_does_not_cause_wrong_substitution() ->
  