[("Add",[([],[("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8298,8318,[(8594,8692),(8652,8687),(54,66),(3426,3443)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8323,8343,[(8594,8692),(8652,8687),(54,66),(3426,3443)])])]),("Edit",[]),("Remove",[([("If1",[["(","Econst","Efalse",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")","]",")"]],8477,8531,[(8594,8692),(8652,8687),(54,66),(3746,3763)])],[("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],8483,8503,[(8594,8692),(8652,8687),(54,66),(3746,3763)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],8508,8528,[(8594,8692),(8652,8687),(54,66),(3746,3763)])]),([("If2",[["(","Epreop","Logicalneg","(","Econst","Efalse",")",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")","]",")"]],8533,8587,[(8594,8692),(8652,8687),(54,66),(3746,3763)])],[("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8539,8559,[(8594,8692),(8652,8687),(54,66),(3746,3763)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8564,8584,[(8594,8692),(8652,8687),(54,66),(3746,3763)])])]),("Cancel",[([],[("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],8207,8232,[(8594,8692),(8652,8687),(54,66),(6647,6664)])])]),("Ok",[([],[("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],8116,8141,[(8594,8692),(8652,8687),(54,66),(6807,6824)])])])]