Yes, this needs to be added to the model. Depending on how you defined success of such a workflow and if you may have some other reasons for an abort already modeled, it might be not too much pollution.
Another idea could be using a “starter process definition” that just calls the real process definition you want to report on, using a call activity.