Use VRP to code-gen only the side of the `if` actually taken

[Shachar]

If the result of the condition inside the if is known at compile time, we should only code-gen the then or else clause.