Fixed bug #1088: Xdebug won't show dead and not executed lines at the second time