NWHILE
case NWHILE:
if (n->type == NWHILE) {
n1 = makebinary((t == TWHILE)? NWHILE : NUNTIL, n1, list(0));