Replace incremental infinite set counter by "regular" infinite set counter