Symbol: constraint_check