func AnyBool(ctx *z3.Context, name string) Bool {
	cache := getCache(ctx)
	sym := cache.z3.FreshConst(name, cache.sortBool).(z3.Bool)
	return Bool{S: sym}
}
AnyBool returns an unconstrained symbolic Bool.
package st
import (
	"fmt"
	"github.com/aclements/go-z3/z3"
	"math/big"
)
type sorts struct {
	sortBool    z3.Sort
	sortInt     z3.Sort
	sortInt8    z3.Sort
	sortInt16   z3.Sort
	sortInt32   z3.Sort
	sortInt64   z3.Sort
	sortUint    z3.Sort
	sortUint8   z3.Sort
	sortUint16  z3.Sort
	sortUint32  z3.Sort
	sortUint64  z3.Sort
	sortUintptr z3.Sort
	sortInteger z3.Sort
	sortReal    z3.Sort
}
func initSorts(s *sorts, ctx *z3.Context) {
	s.sortBool = ctx.BoolSort()
	s.sortInt = ctx.BVSort(64)
	s.sortInt8 = ctx.BVSort(8)
	s.sortInt16 = ctx.BVSort(16)
	s.sortInt32 = ctx.BVSort(32)
	s.sortInt64 = ctx.BVSort(64)
	s.sortUint = ctx.BVSort(64)
	s.sortUint8 = ctx.BVSort(8)
	s.sortUint16 = ctx.BVSort(16)
	s.sortUint32 = ctx.BVSort(32)
	s.sortUint64 = ctx.BVSort(64)
	s.sortUintptr = ctx.BVSort(64)
	s.sortInteger = ctx.IntSort()
	s.sortReal = ctx.RealSort()
}
type Bool struct {
	C bool
	S z3.Bool
}