The logic remains unchanged (with one exception) but the branching is much easier to read.
The one exception is that - if it is possible to reach a state where min_rtt_ticks is zero but we are *not* in slowstart the ack will be processed whereas before it would have been ignored.