{α : Type} →
  [inst : Hashable α] →
    [inst_1 : DecidableEq α] →
      {aig : Std.Sat.AIG α} →
        {combined : ℕ} → (self : Std.Tactic.BVDecide.BVExpr.bitblast.AppendTarget aig combined) → aig.RefVec self.lw