Value propagation: replace Multi<V>* with Addr in struct S_VM