add uniqueness information to the generated spec