public boolean isFactValid(BitSet fact) { return !isTop(fact) && !isBottom(fact);
public boolean isFactValid(UnconditionalDerefSet fact) { return !fact.isTop() && !fact.isBottom();
	public boolean isFactValid(BitSet fact) {		return !isTop(fact) && !isBottom(fact);	}