public DepthFirstSearch getDepthFirstSearch(Method method) {
public DepthFirstSearch getDepthFirstSearch(Method method) throws CFGBuilderException {
	public DepthFirstSearch getDepthFirstSearch(Method method) {		DepthFirstSearch dfs = dfsMap.get(method);		if (dfs == null) {			CFG cfg = getCFG(method);			dfs = new DepthFirstSearch(cfg);			dfs.search();			dfsMap.put(method, dfs);		}		return dfs;	}