Diagnosing Sick Constraints in Inventor