assert transition, observation probability sums