C→→ ifb then T→>CS1else W→ while R→WBdo S→CS1TS1|RS1C→if B then T→C S1 else W→while R→W B do S→C S1 | T S1 | R S1