@TruffleBoundary public int pushBackLength(){
  return pushBack == null ? 0 : pushBack.size();
}

@ TruffleBoundary public int pushBackLength ( ) { return pushBack == null ? 0 : pushBack . size ( ) ; }
return the length of the push back .
