Code inspection: Problem in contract annotation definition

Last modified: 11 February 2024

This inspection verifies the syntax of contract annotations.