Support try..catch and instanceof/casts
Class literals supported
Support NPE and exceptions thrown from methods being called