Added indication of push count for SHRINK_INTER_ID instructions.

Signed-off-by: Jakob Brandsborg Ehmsen <jakobehmsen.github@gmail.com>