parserImport Walkers; import OCL; import Walkers; @Handler Table in Lift(t,arg,encountered) if encountered then [| .ref() |] else stack.push(t); let var = Var(self.newVar()) in [| .push(Table()); let = .top() in iterate(k exp = var | let key = self.dispatch(k,arg) then value = self.dispatch(t.get(k),arg) in [| ; let key = then value = in .put(key,value) end |] end)> end |] end end end;