docs: public static Tag getAncestorTag(Statement stat, String fullName) {
  	Statement parent = stat;
  	Tag tag;
  	while (true) {
  	    parent = parent.getParent();
  	    if (parent == null) return null;
  	    if (parent instanceof Tag) {
  		tag = (Tag) parent;
  		if (tag.getFullname().equalsIgnoreCase(fullName)) return tag;
  	    }
  	}
      }