On the Likelihood of Normalisation in Combinatory Logic