CNF output extracted to method
Inner representation of vars refactored
Better VAR representation
Added BooleanExpression output format