Fix bug with rewriting of Futures inside Phi nodes.