Code compiles even though first sequence block declaration/definition does not match

[harrison8989]

The declarations and the definitions of the sequence blocks of a sequence should match exactly. However, the code will still compile even though the declaration and definition of the first sequence block are different. Here is an example:

Handshake
Endpoint Client;
Endpoint Server;

Sequences {
    HandshakeSeq: Client.start -> Server.hello -> Client.verify -> Server.complete;
}

Sequence HandshakeSeq (Number TLS, Number rand, List(element: Text) cipher, List(element: Text) compress) returns TrueFalse success {

    Client.dontStart {
        //the compiler does not see an error
    }

    Server.hello {

    }

    Client.verify {

    }

    Server.complete {

    }
}

Client
{
    //code
}

Server
{
    //code
}