@Override public boolean isTop(BitSet fact){
  return fact.get(topBit);
}

@ Override public boolean isTop ( BitSet fact ) { return fact . get ( topBit ) ; }
return whether or not given fact is the special top value .
