Safe-event pruning in spacecraft conjunction management