fact: Definition hconsmap_progress_r (F : dresult -> dresult) (st : dresult):= ~ is_fail (F st) -> hconsmap_result (F st) = hconsmap_result st.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause