Fixed issue with transition and optional typetoken. Got messed up when
changing to same state.
fixed test for probability on brnach conditions