Symbol: init_if_phase_op