public PatternMatcher(ByteCodePattern pattern, CFG cfg) {
public PatternMatcher(ByteCodePattern pattern, CFG cfg, DepthFirstSearch dfs) {
	public PatternMatcher(ByteCodePattern pattern, CFG cfg) {		this.pattern = pattern;		this.cfg = cfg;	}