added a check for unrealizable type casts