{α : Type} →
  [inst : Hashable α] →
    [inst_1 : DecidableEq α] →
      {aig : Std.Sat.AIG α} →
        {combined w : ℕ} →
          (n : ℕ) → aig.RefVec w → combined = w * n → Std.Tactic.BVDecide.BVExpr.bitblast.ReplicateTarget aig combined