Leaky detection of unreachable states