This way, (labels|tags|attributes) can be retrieved on counterexamples names.
Attach a file by drag & drop or click to upload
