fact: Definition add_wneg_wcl (wn : iset) (cl:watched_clause) : iset := add_wneg_lit (watch2 cl) (add_wneg_lit (watch1 cl) wn) .
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause