parse comparison operators
fix formatting of bools in sat printer
whitespace