let is_propositional (literal: literal) =
  match literal.Term.atom with
    | Term.Const _ ->
        true

    | Term.Var _
    | Term.Func _ ->
        false