Added missing cases in simplification of to-real and to-int
Added missing cases in simplification of to-real and to-int

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