Refactoring Johnson counter to use attributes in vector index expressions.