Elimination of is/asInstanceOf's based on static information.