Added findUnusedConstraint