add asLatex in SAT/BoolExp.hs