DNFRule drule=r.getDNFGuardExpr();
for(int k=0;k<drule.size();k++) {
RuleConjunction rconj=drule.get(k);
for(int l=0;l<rconj.size();l++) {
DNFExpr dexpr=rconj.get(l);
DNFRule drule=r.getDNFGuardExpr();
for(int k=0;k<drule.size();k++) {
RuleConjunction rconj=drule.get(k);
for(int l=0;l<rconj.size();l++) {
DNFExpr dexpr=rconj.get(l);