Symbol: constraint_remove