refactored competition-worker into `StarExec.STM`