Revert test to keep it readable and concise.
Add tests to check nullabilities of cast expressions.