An Analysis for Proving Probabilistic Termination of Biological Systems