Fix issue with push in reordering (bug: 6259603)

Change-Id: I7ca0abe7f0ef7559ef60f902fb18718fba5a7532
1 file changed