Separately, when lpre promotes calls' return vector, need to check the var symbol due to multiple return values in asm