% example58.sil %
while (x <> x0) do skip od;  
if  (x >= 0) then
 x := -2*x + 10;
 if  (x >= 0) then
  x := -2*x + 10;
  if  (x >= 0) then
   x := -2*x + 10;
   if  (x >= 0) then
    x := -2*x + 10;
    if  (x >= 0) then
     x := -2*x + 10
    else skip fi
   else skip fi
  else skip fi
 else skip fi
else skip fi;
while (x >= 0) do
  while (x <> x1) do skip od;  
  x := -2*x + 10
od;;