return false;
}
if ( pushElement )
{
foundElements.push( new PatternElement(
<BUG>currentPos.getPatternNode(),
currentPos.getCurrentNode() ) );

}</BUG>
if ( currentPos.hasNext() )

return false;
}
private boolean traverse( PatternPosition currentPos,
boolean pushElement )
