optimizer: test use of virtual clock in branches

I tried to remove the vclock increment in the branches of an if expression. It was wrong, but no test in optimize.rktl detected it. (The change I tried breaks some tests for unrelated modules.)