this.dfs = dfs; this.workList = new LinkedList<BasicBlock>(); this.visitedBlockMap = new IdentityHashMap<BasicBlock, BasicBlock>();
	public PatternMatcher(ByteCodePattern pattern, CFG cfg) {		this.pattern = pattern;		this.cfg = cfg;	}