refined tree prop