anchor.diff:              dim t <- 10
               dim s <- 10
           end"),
  -    TimeD = {[0],"t"},
  -    SpaceD = {[0],"s"},
  -    D = [TimeD,SpaceD],
  +    D = [],
       {setup, fun () -> tcache:start_link(100) end,
               fun (_) -> tcache:stop() end,
       fun () ->
  
positive.code:             dim t <- 0
              var X = #.t
          end"),
      TimeD = {[0],"t"},
      D = [TimeD],
      {setup, fun () -> tcache:start_link(100) end,
              fun (_) -> tcache:stop() end,
      fun () ->
  
negative.code:         where
              dim t <- 58
          end"),
      D = [],
      {setup, fun () -> tcache:start_link(100) end,
              fun (_) -> tcache:stop() end,
      fun () ->
  