return fact1.isSameAs(fact2);
return fact1.resultsFromBackEdge || fact1.isSameAs(fact2);
	public boolean same(UnconditionalValueDerefSet fact1, UnconditionalValueDerefSet fact2) {		return fact1.isSameAs(fact2);	}