Test the strictness analyzer using annotations
drwxr-xr-x - testsuite