refactoring: ExecutionResult design improvements