Before Resolve
tr root_start root_ready*1  --> root_running*1 
tr root_finish root_running*1  --> root_finished*1 
tr child_start child_ready*1  --> child_running*1 
tr child_finish child_running*1  --> child_finished*1 
tr resolve t_start
tr resolve t_finish
tr A_start A_ready*1  --> A_started*1 A_running*1 
tr A_finish A_running*1  --> A_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr B_start B_ready*1  --> B_started*1 B_running*1 
tr B_finish B_running*1  --> B_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr C_start C_ready*1  --> C_started*1 C_running*1 
tr C_finish C_running*1  --> C_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr D_start D_ready*1  --> D_started*1 D_running*1 
tr D_finish D_running*1  --> D_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr resolve t_finish
tr resolve t_start
pl root_ready 1
pl child_ready 1
pl A_ready 1
pl B_ready 1
pl C_ready 1
pl D_ready 1
pl resolve p_started
pl resolve p_started

Test strategy resolve

After Resolve
tr root_start root_ready*1  --> root_running*1 A_ready*1 B_ready*1 
tr root_finish root_running*1 A_finished?1 B_finished?1  --> root_finished*1 
tr child_start child_ready*1  --> child_running*1 C_ready*1 D_ready*1 
tr child_finish child_running*1 C_finished?1 D_finished?1  --> child_finished*1 
tr B_start B_ready*1 A_started?1  --> B_started*1 B_running*1 child_ready*1 
tr B_finish B_running*1 child_finished?1  --> B_finished*1 
tr A_start A_ready*1  --> A_started*1 A_running*1 
tr A_finish A_running*1  --> A_finished*1 
tr C_start C_ready*1  --> C_started*1 C_running*1 
tr C_finish C_running*1  --> C_finished*1 
tr D_start D_ready*1  --> D_started*1 D_running*1 
tr D_finish D_running*1 C_started?1  --> D_finished*1 
pl root_ready 1
pl child_ready 1
pl A_ready 1
pl B_ready 1
pl C_ready 1
pl D_ready 1
