original.name="IntDiv_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

function f(int x, int y) -> (int r)
requires y >= 0:
    return x / y
    
public export method test():
       assume f(4,2) == 2
       assume f(4,1) == 4
       assume f(4,0) == 0
---
E711 main.whiley 4,15
E728 main.whiley 4,15