indent-error-flow: if block ends with a return statement, so drop this else and outdent its block (revive)

var-declaration: should omit type map[string]struct{} from declaration of var notRemoved; it will be inferred from the right-hand side (revive)

exported: type name will be used as worker.WorkerProver by other packages, and that stutters; consider calling this Prover (revive)

Process completed with exit code 2.