Program incorrectly rejected #536

public class MethodRefinementExample {

    @Refinement("_ == a / b")
    public static int divide(int a, @Refinement("b != 0") int b) {
        return a / b;
    }

    @Refinement("_ == a")
    public static int what(int a, @Refinement("b != 0") int b, @Refinement("c == a / b") int c) {
        return c*b;
    }

    public static void main(String[] args) {
        int result = divide(6, 2);
        int result2 = what(6, 2, 3);
        System.out.println(result);
    }
}