am fa5fda3c: Merge "Fix a bug in SSA construction."

* commit 'fa5fda3ca52678b6fa739aad46e5c6ea08ae301e':
  Fix a bug in SSA construction.