# Edge detector timings allow the variable to increment twice in two neighboring ticks but never output x + 1 value