Adapt to the new interfaces.
Allocate storage for the debug payload.
Document better the call.
Recurse into the candidate call, not the diff function.
Improve independent variable deduction. Still a lot of work to be done.