1Regression test for optimizing's type propagation:
2If a phi requests its inputs to be of a certain type, the inputs need
3to propagate that type to their users, as those users might be phis.
4