Fix proof in ValueDomain that did not work for RISC-V

Fix proof in ValueDomain that did not work for RISC-V #9