Breaking: Speed up no-unreachable (fixes #1135)