proposition: Lemma id_of_literal_of_bool : forall b f, (id_of_literal (literal_of_bool b f)) = f.(id).
proof: Proof. destruct b ; simpl ; auto. Qed.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause