fact: Fixpoint removeb [A: Type] (P : A -> bool) (l:list A) := match l with | nil => nil | e::l => if P e then l else e :: (removeb P l) end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause