@org.junit.Test
public void test3() {
checkExpect(l7.getType(), new Integer());
checkExpect(l8.getType(), new Integer());
checkExpect(l9.getType(), new Integer());
checkExpect(l10.getType(), new Boolean());
}
@org.junit.Test
public void test2() {
checkExpect(l1.getType(), new Integer());
checkExpect(l2.getType(), new Boolean());
checkExpect(l4.getType(), new FunctionType(new Integer(), new Boolean()));
checkExpect(l5.getType(), new Boolean());
checkExpect(l6.getType(), new FunctionType(new Boolean(), new Boolean()));
}
