Merge branch 'fix-multi-div-stride-counting' into 'master'

Fix recognition of striding constraints in counting when other, unused divs are present

See merge request !132