VM^2: restored set-optimization