Added downcasting test