It is not possible to refer to a local variable from outside the property. Most people separate the data functionality checking from the protocol checking by using a scoreboard.
Scoreboard checks that the data that was pushed matches the data that was popped.
Assertion checks that pop comes between 5-10 clock cycles after push.