[("condInit1",[("If1",[["(","Econst","Etrue",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")","]",")"]],1136,1190,[(8594,8692),(8652,8687),(54,66)])]),("condInit2",[("If2",[["(","Epreop","Logicalneg","(","Econst","Etrue",")",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")","]",")"]],1192,1246,[(8594,8692),(8652,8687),(54,66)])])]