Properly unrolling recursive calls in Boogie. So far this was hardcoded as only 1 unrolling.