Bugfix: TypeCastException inheritance and cast op