Fixed small memory leak in Pass::call()
Added support for Minisat::SimpSolver + ezSAT frezze() API