seq the unfolding in setUnfoldingInfo