NOT(Ack)

IS1[-1] + 1 WHEN (t098[-1] AND NOT(t019[-1])) 1 WHEN (t098[-1] AND t019[-1]) 0 WHEN (t019[-1]) IS1[-1] OTHERWISE

IS1 WHEN (p001) IS2[-1] OTHERWISE

Buffer < BufferSize

IS1 > 0