Analyzing Infeasible Constraint Systems.