18.7.3, Page 224 (Added property keyword and a parenthesis)

Change

assert (done |=> (out == $past(q, 2,enable)) ;

TO

assert property (done |=> (out == $past(q, 2,enable)) );