original.name="Assume_Valid_2"
======
>>> main.whiley


public export method test() :
    assert 1 == 1


---