random walk incremental test: setting the initial change size and the
number of rounds based on the number of changeable axioms