proposition: Lemma units_remove_watched_clause : forall x y st, units (remove_watched_clause x y st) = units st.
proof: Proof. reflexivity. Qed.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause