sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning