this.conditionMap = new HashMap<BasicBlock, Condition>();
	public DefinitelyNullSetAnalysis(			DepthFirstSearch dfs,			ValueNumberDataflow vnaDataflow,			CompactLocationNumbering compactLocationNumbering) {		super(dfs);		this.vnaDataflow = vnaDataflow;		this.compactLocationNumbering = compactLocationNumbering;	}