renamed IExecutionState to IExecutionContext