State Machine: renamed methods in IStateMachineLoader to be symmetric to IStateMachineSaver