A cadence parameter terminates context inference.

[bigeasy]

When a cadence parameter is found in a step function, it is never interpreted as a cadence context assignment. It any arguments in the position of the cadence argument or thereafter are ignored.