@Test
public void testParseUnsignedZero() throws Exception {

  final String program = "uint foo() { return 0u; }";
  assertTrue(
      new CheckPredicateVisitor() {
        @Override
        public void visitReturnStmt(ReturnStmt returnStmt) {
          super.visitReturnStmt(returnStmt);
          if (returnStmt.getExpr() instanceof UIntConstantExpr
              && ((UIntConstantExpr) returnStmt.getExpr()).getValue().equals("0u")) {
            predicateHolds();
          }
        }
      }.test(ParseHelper.parse(program)));
}