Почему в промеле появляется такая ошибка?

Question

Я новичок в промеле и СПИНе. У меня есть небольшой код в промеле, но я не понимаю, почему у меня указанная ниже ошибка:

chan config =[16] of {short};
bool get_type = false;
short car_type = 4;

active proctype control() {
start:
    do
        :: get_type == false ->
            config!car_type;
            printf("type sent");
        :: printf("type not received");
    od
}

active proctype robot() {
sleep:
    config?car_type ->
        get_type = true ;
        printf("type received= %d", car_type);
}

Ошибка:

    using statement merging
      1: proc 0, no matching stmnt 91
    #processes: 2
      1:    proc  1 (robot:1) mytest.pml:16 (state 1)
      1:    proc  0 (control:1) mytest.pml:7 (state 5)
    2 processes created
    Exit-Status 0