Improving ve-synchronized computations (ve: value and expression).