code: private static boolean traverseTree(PointerTargetTree syn, PointerTargetNodeList ptnl, Synset source) {
          java.util.List MGListsList = syn.toList();
          for (Object aMGListsList : MGListsList) {
              PointerTargetNodeList MGList = (PointerTargetNodeList) aMGListsList;
              for (Object aMGList : MGList) {
                  Synset toAdd = ((PointerTargetNode) aMGList).getSynset();
                  if (toAdd.equals(source)) {
                      return true;
                  }
              }
          }
          for (Object aPtnl : ptnl) {
              Synset toAdd = ((PointerTargetNode) aPtnl).getSynset();
              if (toAdd.equals(source)) {
                  return true;
              }
          }
          return false;
      }
docs: traverses PointerTargetTree.
  
  @param syn    synonyms
  @param ptnl   target node list
  @param source source synset
  @return if source was found