void clear(){
  valueNumbersUnconditionallyDereferenced.clear();
  derefLocationSetMap.clear();
}

void clear ( ) { valueNumbersUnconditionallyDereferenced . clear ( ) ; derefLocationSetMap . clear ( ) ; }
clear the deref set . this sets the fact so it is valid as the dataflow entry fact : no future dereferences are guaranteed .
