Data.Logic.Classes.Literal
class Literal lit atom
zipLiterals
toPropositional
prettyLit
foldAtomsLiteral