More code generation complete (basic PHI if no else)