XQuake as a Constraint-Based Mining Language