True

Transition between states
Fromverify_priorit_highToJ434E9A1000CB

Transition code
printf("MSG_MI: Executing new task...\n");