why3/bench/java/expected/Return6.java

/* This file has been extracted from module Return6. */
public class Return6 {

  public static boolean f(int a, int b) {
    
    if (a < b) {
      return !(a < b);
    }
    return a < b;
  }
  
  
}