DATA Tree 
   | Bin  

SEM Tree [ | |  ] 
  | Bin   loc.x   = 2+@loc.y
          (loc.v,loc.y,loc.z) = (@loc.z,0,@loc.x)
          loc.w = 2