public TypeAnalysis(MethodGen methodGen, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor,
public TypeAnalysis(MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor,
	public TypeAnalysis(MethodGen methodGen, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor,		RepositoryLookupFailureCallback lookupFailureCallback) {		super(dfs);		this.methodGen = methodGen;		this.typeMerger = typeMerger;		this.visitor = visitor;		this.lookupFailureCallback = lookupFailureCallback;		this.exceptionSetMap = new HashMap<BasicBlock, CachedExceptionSet>();	}