Assert property

In reply to suresh M:

1 is to make that sequence intentionally true but our ultimate goal is to assign present out value to cnt.