[("Add","cond1",[("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","cond2",[]),("Remove","cond3",[("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)])]),("Remove","cond4",[("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","cond5",[("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],8207,8232,[(8594,8692),(8652,8687),(54,66),(6647,6664)])]),("Ok","cond6",[("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],8116,8141,[(8594,8692),(8652,8687),(54,66),(6807,6824)])])]