(Lean.IR.FnBody → Array Lean.IR.FnBody → Lean.IR.ExpandResetReuse.M Lean.IR.FnBody) →
  Array Lean.IR.FnBody → Lean.IR.VarId → ℕ → Lean.IR.VarId → Lean.IR.FnBody → Lean.IR.ExpandResetReuse.M Lean.IR.FnBody