* Implement more powerful expr analysis of cast instructions