read from zero register in RISCV should always return 0 #74
Description
Description
Currently, GET:I64(zero) will not be resolved to 0, instead, it will read the symbolic value in the register
Steps to reproduce the bug
No response
Environment
No response
Additional context
No response