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