Fast diagnosis of some semigroup properties of automata