add unfold() in assign, if, case, and while