remove redundant constraint