[rewrite] IfNode, ForNode, WhileNode