A type T satisfies ExecutionStateType if either:
T
ExecutionStateType
execution_state
static_execution_state