On controlling rewriting by properties of strings and symbols