DBG_OPT_EXC_REM() added (a exception edge was removed due to a comfirmation prove)