import java.io.IOException;

class LiftTest {
  public static void main(String[] args) {
    RectDomain<1> R = [0 : 10], I = [1 : 9];
    double [1d] e = new double [R];
    int j, l = 7;

    /* Should lift first stmt. */
    foreach (p in I) {
      j = 2;
      e[p] = 7;
    }
    System.out.println("Done.");
  }
}