Unreachable code would best be found using: