relax too tight timing in FSMTransitionSpec