Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization).