∀ (aig : Std.Sat.AIG Std.Tactic.BVDecide.BVBit) (cache : Std.Tactic.BVDecide.BVExpr.Cache aig)
  (var : Std.Tactic.BVDecide.BVPred),
  Std.Tactic.BVDecide.BVLogicalExpr.bitblast.go aig (Std.Tactic.BVDecide.BoolExpr.literal var) cache =
    Std.Tactic.BVDecide.BVPred.bitblast aig { val := var, cache := cache }