Drop redundant constraints