fixed a conversion operator bug where the infered type was not being picked up properly
fixed a conversion operator bug where the infered type was not being picked up properly

daniel-larraz/kind2,kind2-mc/kind2