Cast analysis 2.0