[("cond1",[]),("cond2",[]),("cond3",[("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)])]),("cond4",[("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)])]),("cond5",[]),("cond6",[])]