Fix a bug of translation for Push Imm