Checkout QuickSpec version that builds without Z3 support
Collapse equal functions