(* let go_full (Hsim main : unit Ztypes.hsimu) : unit = *)
  (* let n, z = Lift.lift_hsim_full (Hsim main) in *)
  (* let s = Full.compose_solvers (Csolver.make_full ()) (Zsolver.make_full z) in *)
  (* ignore @@ Full.hrun n s [{h=10.0; f=fun _ -> ()}] *)

let go (Hsim main : unit Ztypes.hsimu) : unit =
  let n, z = Lift.lift_hsim (Hsim main) in
  let s = Fill.compose_solvers (Csolver.make ()) (Zsolver.make z) in
  ignore @@ Fill.hrun n s [{h=10.0; f=fun _ -> ()}]