Bugfix: proper setCounter for AddedComplexity