Input1 WHEN (p1) 0 OTHERWISE

Input3 < Input4

Counter[-1] + 1 WHEN (Inc) Counter[-1] - 1 WHEN (Dec) Counter[-1]