Added multi contracts in lustreTransSys intermediary structure.
Added multi contracts in lustreTransSys intermediary structure.

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