1Tests that we can simplify a Select + Binary/UnaryOps if:
2 * Both inputs to the Select instruction are constant, and
3 * The Select instruction is not used in another instruction
4 to avoid duplicating Selects.
5 * In the case of Binary ops, both inputs can't be Select.
6