Update the bounds of IfElse_Valid_2 example.