Description Dirk Baeumer 2003-06-24 05:24:16 EDT

N20030624 (Timestamp: 200306240010)

In the following example the range of the inner while statemet is [143,37]. 
Correct range is [143,22].

package validSelection;

public class A_test253 {
	public boolean b() {
		return true;
	}
	
	public void foo() {
		while(b())
			/*]*/while(b())
				foo();
		/*]*/foo();		
	}	
}