finished eliminateUnreachable