I don't have the time to check, but just implement the WF Exit with a local object and stick a breakpoint or log point in it to find out where it's called from.
Implicit enhancements are there for us to do our thing. It's up to the developer to ascertain what can safely be added. Hence my reasoning that using the WF Exit as a reference means we're putting our enhancement at the right place.