public boolean same(BitSet fact1, BitSet fact2) {
public boolean same(UnconditionalDerefSet fact1, UnconditionalDerefSet fact2) {
	public boolean same(BitSet fact1, BitSet fact2) {		return fact1.equals(fact2);	}