Boosting Constraint Acquisition via Generalization Queries