let get_lemmas lemmas_propositional =
  List.rev (
  ClauseTable.fold
    (fun _ lemma acc ->
       if lemma.global then
         lemma.clause :: acc

       else
         acc
    )
    lemmas_propositional.lemmas
    []
  )