fact: Definition is_hFF (g: HFormula) := (g.(id) =? 0) && Bool.eqb g.(is_dec) true && is_FF g.(elt).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause