Teorema do Tipo II e decidibilidade de pseudovariedades de grupos