expr simplifications (phi if cond)
double while
surdef[]