whiley_test_file 0.6.2

original.name="Reference_Valid_11"
whiley.execute.ignore=true
WhileyCompiler.issue=1148
boogie.ignore=true
Whiley2Boogie.issue=61
======
>>> main.whiley
type Cyclic is { null|&Cyclic ptr, int data }

public export method test():
    &Cyclic p = new {ptr:null, data: 0}
    &Cyclic q = new {ptr:p, data: 0}
    // Make it cyclic!
    p->ptr = q
    //
    assert p != q
    assert p->data == q->data

---