Change threadid threadspawn to bot
Change threadid threadspawn to bot

threadspawn is joined with ctx.local from normal transfer functions anyway.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer