Fix documentation for init_irg_phase