source text for loop too big

[Stephen Siegel]

The source text for the while loop includes the entire loop body. It used to just be the while (...) part. Here is an example:

Step 1: State 0 -- nestedLoopsSpec.mmp line 10 [main@0->main@1] "while (i <= n) {    j = 1;    l2:    while (j <= i*i) {      s = s + i*j;      j = j + 1;    }    i = i + 1;  }" [true]nestedLoopsImpl.mmp line 11 [main@0->main@1] "while (i <= n) {    u = 0;    j = 0;    l2@main{s + i * u == spec.s && j == spec.j - 1}:    while (j < i*i) {      u = u + j + 1;      j = j + 1;    }    s = s + i * u;    i = i + 1;  }" [true] -> State 1

[ywei]

Fixed. The loop statements and function now only display the header information.