docs: private Set<AllocationID> computeAllPriorAllocationIds() {
  		HashSet<AllocationID> allPreviousAllocationIds = new HashSet<>(getNumberOfExecutionJobVertices());
  		for (ExecutionVertex executionVertex : getAllExecutionVertices()) {
  			AllocationID latestPriorAllocation = executionVertex.getLatestPriorAllocation();
  			if (latestPriorAllocation != null) {
  				allPreviousAllocationIds.add(latestPriorAllocation);
  			}
  		}
  		return allPreviousAllocationIds;
  	}