Resolve "variant annotations: add witness keys (labeling)"

Closes #297 (closed)

Merge request reports

Loading