About the Suggestions category

[certorum]

This category is for discussing anything you’d like Certora to do differently.