Domain-specific hyperspecialization (for SAT)