Commenting in Assertion and Functional projects