You can probably make saboteurs and miners parameters, instead of global variables.