Always check inductiveness before doing fixpoint (useful for bed and dacha but should be disabled for fwd)
Always check inductiveness before doing fixpoint (useful for bed and dacha but should be disabled for fwd)

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