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