Knuth-Bendix procedure and non deterministic behavior - an example - Gnaedig, I.