Quality check all header comments of preloaded examples 1-40
Check:
- the model’s purpose and description are clearly described
- necessary references are included and well-formatted
- search terms have no obvious omissions
- Instructions are appropriate and non-repetitive
- Model run statistics are present (# traces in # seconds at scope X)