Added many assertions. PDR now fails if inductive generalization, unsat core, and block in future are all turned off
Added many assertions. PDR now fails if inductive generalization, unsat core, and block in future are all turned off

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