fact: Definition get_fresh_clause_id (st:state) : int * state := let res := fresh_clause_id st in (res,{| fresh_clause_id := res + 1; hconsmap := hconsmap st; wneg := wneg st; arrows := arrows st; defs := defs st; units := units st; unit_stack :=unit_stack st; clauses := clauses st |}).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause