Cubicle 1.1.2 documentation and source : Enumsolver

let clear () =
  cpt_mk_var := 0;
  HA.clear ha;
  HI.clear hi