parserImport Walkers; import OCL; import Walkers; @Handler SeqOfElement in Lift(s,arg,encountered) if s->isEmpty then [| Seq{} |] elseif encountered then [| .ref() |] else stack.push(s); let var = Var(self.newVar()) in [| let = Seq{null|null} in .push(); ->head := head,arg)>; ->tail := tail,arg)>; end |] end //[| Seq{head,arg)> | tail,arg)>} |] end end;