public void initEntryFact(BitSet result) throws DataflowAnalysisException {
public void initEntryFact(UnconditionalDerefSet result) throws DataflowAnalysisException {
	public void initEntryFact(BitSet result) throws DataflowAnalysisException {		// At entry (really the CFG exit, since this is a backwards analysis)		// no dereferences have been seen		result.clear();	}