Fix bug that caused some messages to be lost (and in turn generate wrong certificates)
Fix bug that caused some messages to be lost (and in turn generate wrong certificates)

AdrienChampion/kind2,AdrienChampion/kind2,mebsout/kind2,AdrienChampion/kind2,mebsout/kind2,daniel-larraz/kind2,tinelli/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,kind2-mc/kind2,AdrienChampion/kind2,tinelli/kind2,AdrienChampion/kind2,tinelli/kind2,tinelli/kind2,mebsout/kind2,tinelli/kind2,mebsout/kind2,mebsout/kind2,AdrienChampion/kind2,AdrienChampion/kind2,tinelli/kind2,AdrienChampion/kind2,mebsout/kind2,AdrienChampion/kind2