necessary to delete all unreachable code. Also, added some ~&'s that improve readability when *compile-progress* is T.