original.name="ConstrainedInt_Valid_3" ====== >>> main.whiley type cr3nat is int function f(cr3nat x) -> cr3nat: return 1 public export method test() : int y = f(9) assume y == 1 ---