added display of already visited nodes in branch options