Extracted ExecutionResult(Impl)