am 9de8a312: am 7eb3fa1e: Merge "Add a type propagation phase after building SSA."

* commit '9de8a312e3d97a6f02bf2722d200b8078aed08d2':
  Add a type propagation phase after building SSA.