Remove redundant constraint