original.name="Property_Valid_22"
======
>>> main.whiley
// Reverse a linked list
type LinkedList<T> is null | &{ T data, LinkedList<T> next }

property equiv<T>(LinkedList<T> l, int i, T[] items) -> (bool r):
    return (i >= |items| && l == null) ||
           (i >= 0 && i < |items| && !(l is null) && l->data == items[i] && equiv(l->next,i+1,items))

public export method test():
    LinkedList<int> l1 = null
    LinkedList<int> l2 = new { data: 2, next: l1 }
    LinkedList<int> l3 = new { data: 3, next: l2 }
    //
    assert equiv(l1,0,[])    
    assert equiv(l2,0,[2])
    assert equiv(l3,0,[3,2])
    
    

---