Semigroup identity and Engel groups