Produce certificates with single function symbols for init, trans, p, phi. They are parameterized by the integer step k.
Produce certificates with single function symbols for init, trans, p, phi. They are parameterized by the integer step k.

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