======
>>> main.whiley
import other
public export method test():
    assume other::CONSTANT == 456
>>> other.whiley
public final int CONSTANT = 456
---