original.name="UnknownReference_Valid_1"
js.execute.ignore=true
Whiley2JavaScript.issue=44
======
>>> main.whiley
type Point is {int x, int y}

public export method test():
    &Point p = new Point{x:1,y:2}
    // Declare an unknown reference
    &{int x, ...} q = p
    //
    assume p->x == 1
    assume p->y == 2
    assume q->x == 1
    //
    q->x = 3
    //
    assume p->x == 3
    assume p->y == 2
    assume q->x == 3



---