Synchronize eval results ssa-interp and demo in 0xfaded/eval.