Fix ASR/sign_extend