Picosat linkage should work ok, pretty print of formulas
Macro expansion refactorization