Undebugged implementation of a second shot at PHI forwarding for instructions now available in multiple versions
Debug phi insertion new world order. Suspect I've just reinvented a well-known algorithm for transformation to SSA form.
More progress towards properly handling commit of programs with break-from-loop edges, mainly centring around treatment of header PHIs, but not fully working yet.