Minor change to the compiler entity counter for generated auxiliary predicates