El ministerio publico ante la jurisdicción del trabajo será ejercido por el procurador