@Test
public void getTypename() throws Exception {

  TypeConstructorExpr e = new TypeConstructorExpr("foo",
      new BinaryExpr(new IntConstantExpr("2"), new IntConstantExpr("1"), BinOp.MOD),
      new BoolConstantExpr(true));
  assertEquals("foo", e.getTypename());
}