This check was added to ensure that push/pop is called in correct order (i.e. this is debug assertion).