original.name="IntDiv_Valid_4" ====== >>> main.whiley function f(int x) -> int: return x / 3 public export method test() : assume f(10) == 3 ---