lowprivuser

Thanks to first-time contributor @highprivuser for adding library support 👏 Check out github.com/a16z/halmos/co… if you'd like to find a good first issue