refactored InitialTransition, don't use Optional for fromState