Removed: merge artifacts
Removed: unnecessary code
Enhanced: some tiny optimizations with destination_halts_lists.