always compute exception pruned cfg, not only when standard analysis was successful
remove some compiler warnings in nullpointer analysis
allow a default method state to be injected into the interprocedural exception analysis