Fixed assertion failures from simplify.ml at least for the single working example pt 2
Fixed assertion failures from simplify.ml at least for the single working example pt 2

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