fact: Definition augment_hyp (is_classic: bool) (h: literal) (st:state) := augment_cnf is_classic h (insert_unit (annot_hyp h) st).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause