public void add(PropertyTree nextMatchingNode) {
			// TODO: remove check to improve performance
			if(nodes.get(0).getValue().equals(nextMatchingNode.getValue())) {
				nodes.add(nextMatchingNode);
			} else {
				throw new RuntimeException("Attempted to store non-consistent result in PropertySearchResults.Result");
			}
		}