@Test
public void getLhs() throws Exception {

  VariableIdentifierExpr vie = new VariableIdentifierExpr("x");
  BinaryExpr be = new BinaryExpr(
      vie,
      new BoolConstantExpr(true),
      BinOp.LAND);
  assertEquals(vie, be.getLhs());
}