Split `Send` transition to 2 cases (#2 is required). 1. if the target is in the configuration 2. if the target is not in the configuration
Split
Sendtransition to 2 cases (#2 is required).