Elimination of is/asInstanceOf's based on static information.
Merge pull request #877 from sjrd/static-opt-of-isasinstanceof

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