Better detection of unreachable states