ConstantPoolGen cpg,
MethodGen methodGen,
	public ObligationAnalysis(			DepthFirstSearch dfs,			ConstantPoolGen cpg,			PolicyDatabase database,			RepositoryLookupFailureCallback lookupFailureCallback) {		super(dfs);		this.database = database;		this.cpg = cpg;		this.lookupFailureCallback = lookupFailureCallback;	}