In a ObjCMessageExpr with the super class as receiver, 'super' is actually a ObjCInte...