Tests for RETURN/PUSHMARK optimisation