1Test for select generation for conditional returns.
2
3Tests the rewriting from:
4
5             If [ Condition ]
6               /          \
7     false branch        true branch
8     return FalseValue   return TrueValue
9
10to:
11
12     true branch
13     false branch
14     return Select [FalseValue, TrueValue, Condition]
15