Static analysis of modularity of beta-reduction in the hyperbalanced lambda-calculus