code: @Override
  	public String getFullPredString()
  	{
  		if (valuetree.getPredicate() == null)
  		{
  			return "";
  		}
  		String result = valuetree.getPredicate().toString();
  		return result;
  	}
docs: string as it exists in the current version