removed cases of unfolding: reduce right unless it is stuck, otherwise unfold left.