The equivalence of for and while loops, mentioned in Example $6\mathrm{.}64,$ is not precise. Give an example in which it breaks down. Hint: think about the continue statement.

condition $->$ c term $|$ condition or c term

c term $->$ c factor $|$ c term and c factor

c factor $->$ ident relation ident $|($ condition $)|$ not $($ condition $)$ relation $-><|<=|=|<>|>|>=$

You may assume that the code attribute has already been initialized for other stmt and ident nodes. $($For hints, see Fischer et al$.$s compiler book $[$FCL$10,$ Sec. $14\mathrm{.}1\mathrm{.}4].)$