optimize_one_return() now did not build Phi(a,...,a) if a is an Unknown.