Consider changes PROPERTIES.md format #28
Description
Recently found this document with invariants.
I think we can take some ideas of this and port it to our own: https://github.com/crytic/properties/blob/main/PROPERTIES.md