BooleanFormula
data BooleanFormula a
mkFalse
mkTrue
mkAnd
mkOr
mkVar
isFalse
isTrue
eval
simplify
isUnsatisfied
implies
impliesAtom
pprBooleanFormula
pprBooleanFormulaNice