If you reload the code (make/0, consult/1), you typically need to do a retry in the tracer to restart the current goal with the new implementation. There could well be scenarios where the tracer behaves not entirely as it should in such scenarios. Note that active clauses during the reload will keep using the old definition while new calls use the new definition. Reloading itself tries to preserve the old clauses if they have not been changed to minimize the consequences.
2 Likes