edebug: instrumenting failure