public PrgState Execute(PrgState state) { Stack <MyIDictionary <MyMap> > symTbl = state.GetSymTable(); IHeap <HMap> heap = state.GetHeap(); int address = symTbl.ElementAt(0).Lookup(this.var); try { HMap h = (HMap)heap.Gett(address); h.SetAddr(address); h.SetCont(exp.Eval(symTbl, heap)); } catch (MissingMemberException e) { } return(null); }