This is a great proprietary solution but lacks portability in a heterogeneous database environment using ANSI SQL.
You said "All those solutions are hacky, and it is simply not always possible to change the underlying code.". How about converting the nested proc to inline block of code in the main proc. It is a parallel to avoid using scalar functions for check constraints instead of inline.
Great article! I rate this a 5