visitedRels.add( rel );
CallPosition callPos = new CallPosition(
currentPos, rel, relItr, pRel, popUncompleted );
callStack.push( callPos );
if ( traverse( new PatternPosition( otherNode,
<BUG>otherPosition, optional ), true ) )
</BUG>
{
return true;
}

visitedRels.add( rel );
CallPosition callPos = new CallPosition(
currentPos, rel, relItr, pRel, popUncompleted );
callStack.push( callPos );
if ( traverse( new PatternPosition( otherNode,
otherPosition, pRel, rel, optional ), true ) )
{
return true;
}
