public boolean isBottom(){
  return valueNumbersUnconditionallyDereferenced.get(numValueNumbersInMethod);
}

public boolean isBottom ( ) { return valueNumbersUnconditionallyDereferenced . get ( numValueNumbersInMethod ) ; }
is this the bottom value ?
