fact: Definition eval_watched_clause (cl: watched_clause) := eval_literal_list (watch1 cl :: watch2 cl :: (unwatched cl)).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause