Separating pop actions from post conditions