Ensure that pop is the only one invoked in transaction