[READ-ONLY] Subtree split of the Elcodi State Transition Machine component