TypeTestCasts fixes and InterceptedMethods transformer