@Test
public void getOp() throws Exception {

  assertEquals(BinOp.ADD_ASSIGN,
      new BinaryExpr(new VariableIdentifierExpr("x"),
          new UIntConstantExpr("3u"),
          BinOp.ADD_ASSIGN).getOp());
}