Incremental progress towards a new implementation of StrongPHIElimination. Most