Towards the Average-Case Analysis of Substitution Resolution in Λ-Calculus