Introduced a new Analysis super class to support more general analyses. The abstract InfoFlow class now extends this.