In addition, we have a repeat-until loop, therefore, we condition on the exit clause--which is also averaged over $\lambda $and $\mu $.
The model leads to the following probability of producing our tree :.