  @Test
  public void negativeRationalError() {

    // TODO negative unsigned integer causes no error. Need to ensure positive value before
    int rat = yices_rational32(1, -5);
    System.out.println(rat); // "use" variable
  }