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