Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT