fix rewinding
Move rewind function into Aiger module, generalize
Playing around with unwinding etc.
fix: do not rename constants T/F
Fix: toCNF expects the next free var, not maxVar
fix: unit clause -0 (true) must always be present
constant elimination for formula ops
optimize initial interpolant
confirm comment about resolvent ordering
check if formula already CNF before tseitinizing
Remove unused UNPACK pragma
Make Formula strict in Lit
remove old test file
Reduce CNF conversions