Move condition value evolution test from VP code to a dedicated test
At the beginning we hijacked VP code to test that we could follow the evolution of condition values, but that adds handling of dummy conditions into VP code, which is bad.
The test of such functionality should be moved to a dedicated test.