Symbol: check_constraints