public void makeFactTop(BitSet fact) { fact.clear(); fact.set(topBit);
public void makeFactTop(UnconditionalDerefSet fact) { fact.setTop();
	public void makeFactTop(BitSet fact) {		fact.clear();		fact.set(topBit);	}