<> <> <> <> <> WorkerControl: DEFINITIONS = BEGIN Initialize: PROC [hashArraySize: NAT]; <> <> CallAfterAnalysisPass: PROC []; <> <<(It enumerates the workers that remain after the analysis pass, changing>> <> CallAfterUpdatePass: PROC []; <> <> <> END. <> <> <<>>