p2fLit :: Lit -> Clause