Re-organization in sat_solver pass for temporal induction
Added support for non-temporal proofs to sat_solve
Implemented temporal induction proofs in sat_solve