Simplify length computation
transition_probs and num_states are properties