The “Reset condition” issue of scade example in Scade Primer

[fdtsaid]

In chapter 2.1.6 Operator instantiation of Scade Primer, there is a scade program as follows:

 

const max: uint64 = 10;

node sigma (e:uint64) returns (sum:uint64)

let

  sum = 0 -> e + pre sum;

tel 

node sample() returns (s:uint64)

let

  s = (restart sigma every (pre s > max))(count());

tel

 

In line 

s = (restart sigma every (pre s > max)) (count());

 

Should pre s > max be true -> (pre s > max)? Because "the reset condition of restart-every cannot be delayed".