fix for the unreachable nodes analysis