fact: Definition shorten_clauses (l: Annot.t literal) (cl : WMap.watch_map) (st:state) := WMap.fold_watch_map (fun acc i k => update_watched_clause l i k acc) cl (Progress st).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause