Cleanup more_interleavings_for_event().