Added test contract annotation