Base lifting class implements null lifting
Fixing last commit, pyo files removed
Refactoring code for lifting: bookeeping clauses per variable
Comment additional clauses
KTH 2 dimacs utility