Assert that phi instructions are added before other instructions.
Remove unnecessary/redundant includes.