Fix for State.Execution cannot not find label