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


function f(int | null x) -> bool:
    if x is null:
        return true
    else:
        return false

public export method test() :
    int|null x = null
    assume f(x) == true
    assume f(1) == false

---