Bugfixes. Start to implement phi eliminator through interting copies for
all phi arguments and then coalescing.