Added cast/instanceof superclass