@Test
public void testInsertAfter() {

  ExprStmt stmt1 = new ExprStmt(new BoolConstantExpr(true));
  ExprStmt stmt2 = new ExprStmt(new BoolConstantExpr(false));
  BlockStmt b = new BlockStmt(Arrays.asList(stmt1, stmt2), true);
  assertEquals(2, b.getNumStmts());
  b.insertAfter(stmt1, new NullStmt());
  assertEquals(3, b.getNumStmts());
  b.insertAfter(stmt2, new NullStmt());
  assertEquals(4, b.getNumStmts());
  assertEquals(stmt1, b.getStmt(0));
  assertTrue(b.getStmt(1) instanceof NullStmt);
  assertEquals(stmt2, b.getStmt(2));
  assertTrue(b.getStmt(3) instanceof NullStmt);
}