must multiply first the inner probs (than o_likelihood) otherwise we have +infinity problems
avoid divisions by 0
sbcl most probably not needed if given enough memory at the beginning