┌─┐        
       │ │        
       ├─┤        
       └─┘        
         |        
         |        
   ┌──────────┐   
   │fork_state│   
   ├──────────┤   
   └──────────┘   
                  
┌──────┐  ┌──────┐
│State2│  │State3│
├──────┤  ├──────┤
└──────┘  └──────┘
                  
                  
   ┌──────────┐   
   │join_state│   
   ├──────────┤   
   └──────────┘   
         |        
     ┌──────┐     
     │State4│     
     ├──────┤     
     └──────┘     
         |        
       ┌─┐        
       │ │        
       ├─┤        
       └─┘