@Test
public void getRhs() throws Exception {

  FloatConstantExpr fce = new FloatConstantExpr("10.2");
  BinaryExpr be = new BinaryExpr(
      new TypeConstructorExpr("float", new IntConstantExpr("1")),
      fce,
      BinOp.MOD);
  assertEquals(fce, be.getRhs());
}