Assert n.ready_i at the beginning of the cycle