Symbol: alpha_check_constraints