Add downcast example (use <instanceof>)