exitDisjunction

The default implementation does nothing.