Symbol: ike_phase_1_validate_prop