in[-1] <= 0 AND in > 0

O1[-1] + 1 WHEN (OE) O1[-1] OTHERWISE

1 WHEN (P11) 0 OTHERWISE

3 WHEN (P2) 0 OTHERWISE

1 WHEN (P3) 0 OTHERWISE

P2 WHEN (P2 >= P3) P3 OTHERWISE

InS = 1

InS <> 1