extra assertion in collapse set computation