public boolean isTop(){
  return valueNumbersUnconditionallyDereferenced.get(numValueNumbersInMethod + 1);
}

public boolean isTop ( ) { return valueNumbersUnconditionallyDereferenced . get ( numValueNumbersInMethod + 1 ) ; }
is this the top value ?
