Regression verification of unbalanced recursive functions with multiple calls (long version). - Chaked R. J. Sayedoff; Ofer Strichman (CoRR, 2022)