diff --git a/website/built-scripts/eval-z3.js b/website/built-scripts/eval-z3.js
index 2ce0c409d..aba9e8f16 100644
--- a/website/built-scripts/eval-z3.js
+++ b/website/built-scripts/eval-z3.js
@@ -7854,7 +7854,7 @@ type WebTransportErrorSource = "session" | "stream";
type WorkerType = "classic" | "module";
type WriteCommandType = "seek" | "truncate" | "write";
type XMLHttpRequestResponseType = "" | "arraybuffer" | "blob" | "document" | "json" | "text";
-`, "lib.webworker.importscripts.d.ts": '/// \ndeclare function importScripts(...urls:string[]):void;', "lib.webworker.iterable.d.ts": '/// \ninterface CSSNumericArray{[Symbol.iterator]():ArrayIterator;entries():ArrayIterator<[number,CSSNumericValue]>;keys():ArrayIterator;values():ArrayIterator;}interface CSSTransformValue{[Symbol.iterator]():ArrayIterator;entries():ArrayIterator<[number,CSSTransformComponent]>;keys():ArrayIterator;values():ArrayIterator;}interface CSSUnparsedValue{[Symbol.iterator]():ArrayIterator;entries():ArrayIterator<[number,CSSUnparsedSegment]>;keys():ArrayIterator;values():ArrayIterator;}interface Cache{addAll(requests:Iterable):Promise;}interface CanvasPath{roundRect(x:number,y:number,w:number,h:number,radii?:number|DOMPointInit|Iterable):void;}interface CanvasPathDrawingStyles{setLineDash(segments:Iterable):void;}interface DOMStringList{[Symbol.iterator]():ArrayIterator;}interface FileList{[Symbol.iterator]():ArrayIterator;}interface FontFaceSet extends Set{}interface FormDataIteratorextends IteratorObject{[Symbol.iterator]():FormDataIterator;}interface FormData{[Symbol.iterator]():FormDataIterator<[string,FormDataEntryValue]>;entries():FormDataIterator<[string,FormDataEntryValue]>;keys():FormDataIterator;values():FormDataIterator;}interface HeadersIteratorextends IteratorObject{[Symbol.iterator]():HeadersIterator;}interface Headers{[Symbol.iterator]():HeadersIterator<[string,string]>;entries():HeadersIterator<[string,string]>;keys():HeadersIterator;values():HeadersIterator;}interface IDBDatabase{transaction(storeNames:string|Iterable,mode?:IDBTransactionMode,options?:IDBTransactionOptions):IDBTransaction;}interface IDBObjectStore{createIndex(name:string,keyPath:string|Iterable,options?:IDBIndexParameters):IDBIndex;}interface ImageTrackList{[Symbol.iterator]():ArrayIterator;}interface MessageEvent{initMessageEvent(type:string,bubbles?:boolean,cancelable?:boolean,data?:any,origin?:string,lastEventId?:string,source?:MessageEventSource|null,ports?:Iterable):void;}interface StylePropertyMapReadOnlyIteratorextends IteratorObject{[Symbol.iterator]():StylePropertyMapReadOnlyIterator;}interface StylePropertyMapReadOnly{[Symbol.iterator]():StylePropertyMapReadOnlyIterator<[string,Iterable]>;entries():StylePropertyMapReadOnlyIterator<[string,Iterable]>;keys():StylePropertyMapReadOnlyIterator;values():StylePropertyMapReadOnlyIterator>;}interface SubtleCrypto{deriveKey(algorithm:AlgorithmIdentifier|EcdhKeyDeriveParams|HkdfParams|Pbkdf2Params,baseKey:CryptoKey,derivedKeyType:AlgorithmIdentifier|AesDerivedKeyParams|HmacImportParams|HkdfParams|Pbkdf2Params,extractable:boolean,keyUsages:Iterable):Promise;generateKey(algorithm:"Ed25519"|{name:"Ed25519"},extractable:boolean,keyUsages:ReadonlyArray<"sign"|"verify">):Promise;generateKey(algorithm:RsaHashedKeyGenParams|EcKeyGenParams,extractable:boolean,keyUsages:ReadonlyArray):Promise;generateKey(algorithm:AesKeyGenParams|HmacKeyGenParams|Pbkdf2Params,extractable:boolean,keyUsages:ReadonlyArray):Promise;generateKey(algorithm:AlgorithmIdentifier,extractable:boolean,keyUsages:Iterable):Promise;importKey(format:"jwk",keyData:JsonWebKey,algorithm:AlgorithmIdentifier|RsaHashedImportParams|EcKeyImportParams|HmacImportParams|AesKeyAlgorithm,extractable:boolean,keyUsages:ReadonlyArray):Promise;importKey(format:Exclude,keyData:BufferSource,algorithm:AlgorithmIdentifier|RsaHashedImportParams|EcKeyImportParams|HmacImportParams|AesKeyAlgorithm,extractable:boolean,keyUsages:Iterable):Promise;unwrapKey(format:KeyFormat,wrappedKey:BufferSource,unwrappingKey:CryptoKey,unwrapAlgorithm:AlgorithmIdentifier|RsaOaepParams|AesCtrParams|AesCbcParams|AesGcmParams,unwrappedKeyAlgorithm:AlgorithmIdentifier|RsaHashedImportParams|EcKeyImportParams|HmacImportParams|AesKeyAlgorithm,extractable:boolean,keyUsages:Iterable):Promise;}interface URLSearchParamsIteratorextends IteratorObject{[Symbol.iterator]():URLSearchParamsIterator;}interface URLSearchParams{[Symbol.iterator]():URLSearchParamsIterator<[string,string]>;entries():URLSearchParamsIterator<[string,string]>;keys():URLSearchParamsIterator;values():URLSearchParamsIterator;}interface WEBGL_draw_buffers{drawBuffersWEBGL(buffers:Iterable):void;}interface WEBGL_multi_draw{multiDrawArraysInstancedWEBGL(mode:GLenum,firstsList:Int32Array|Iterable,firstsOffset:number,countsList:Int32Array|Iterable,countsOffset:number,instanceCountsList:Int32Array|Iterable,instanceCountsOffset:number,drawcount:GLsizei):void;multiDrawArraysWEBGL(mode:GLenum,firstsList:Int32Array|Iterable,firstsOffset:number,countsList:Int32Array|Iterable,countsOffset:number,drawcount:GLsizei):void;multiDrawElementsInstancedWEBGL(mode:GLenum,countsList:Int32Array|Iterable,countsOffset:number,type:GLenum,offsetsList:Int32Array|Iterable,offsetsOffset:number,instanceCountsList:Int32Array|Iterable,instanceCountsOffset:number,drawcount:GLsizei):void;multiDrawElementsWEBGL(mode:GLenum,countsList:Int32Array|Iterable,countsOffset:number,type:GLenum,offsetsList:Int32Array|Iterable,offsetsOffset:number,drawcount:GLsizei):void;}interface WebGL2RenderingContextBase{clearBufferfv(buffer:GLenum,drawbuffer:GLint,values:Iterable,srcOffset?:number):void;clearBufferiv(buffer:GLenum,drawbuffer:GLint,values:Iterable,srcOffset?:number):void;clearBufferuiv(buffer:GLenum,drawbuffer:GLint,values:Iterable,srcOffset?:number):void;drawBuffers(buffers:Iterable):void;getActiveUniforms(program:WebGLProgram,uniformIndices:Iterable,pname:GLenum):any;getUniformIndices(program:WebGLProgram,uniformNames:Iterable):Iterable|null;invalidateFramebuffer(target:GLenum,attachments:Iterable):void;invalidateSubFramebuffer(target:GLenum,attachments:Iterable,x:GLint,y:GLint,width:GLsizei,height:GLsizei):void;transformFeedbackVaryings(program:WebGLProgram,varyings:Iterable,bufferMode:GLenum):void;uniform1uiv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform2uiv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform3uiv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform4uiv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix2x3fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix2x4fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix3x2fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix3x4fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix4x2fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix4x3fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;vertexAttribI4iv(index:GLuint,values:Iterable):void;vertexAttribI4uiv(index:GLuint,values:Iterable):void;}interface WebGL2RenderingContextOverloads{uniform1fv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform1iv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform2fv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform2iv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform3fv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform3iv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform4fv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniform4iv(location:WebGLUniformLocation|null,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix2fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix3fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;uniformMatrix4fv(location:WebGLUniformLocation|null,transpose:GLboolean,data:Iterable,srcOffset?:number,srcLength?:GLuint):void;}interface WebGLRenderingContextBase{vertexAttrib1fv(index:GLuint,values:Iterable):void;vertexAttrib2fv(index:GLuint,values:Iterable):void;vertexAttrib3fv(index:GLuint,values:Iterable):void;vertexAttrib4fv(index:GLuint,values:Iterable):void;}interface WebGLRenderingContextOverloads{uniform1fv(location:WebGLUniformLocation|null,v:Iterable):void;uniform1iv(location:WebGLUniformLocation|null,v:Iterable):void;uniform2fv(location:WebGLUniformLocation|null,v:Iterable):void;uniform2iv(location:WebGLUniformLocation|null,v:Iterable):void;uniform3fv(location:WebGLUniformLocation|null,v:Iterable):void;uniform3iv(location:WebGLUniformLocation|null,v:Iterable):void;uniform4fv(location:WebGLUniformLocation|null,v:Iterable):void;uniform4iv(location:WebGLUniformLocation|null,v:Iterable):void;uniformMatrix2fv(location:WebGLUniformLocation|null,transpose:GLboolean,value:Iterable):void;uniformMatrix3fv(location:WebGLUniformLocation|null,transpose:GLboolean,value:Iterable):void;uniformMatrix4fv(location:WebGLUniformLocation|null,transpose:GLboolean,value:Iterable):void;}', "/node_modules/z3-solver/build/browser.d.ts": "import{Z3HighLevel}from'./high-level';import{Z3LowLevel}from'./low-level';export*from'./high-level/types';export{Z3Core,Z3LowLevel}from'./low-level';export*from'./low-level/types.__GENERATED__';export declare function init():Promise;", "/node_modules/z3-solver/build/high-level/high-level.d.ts": "import{Z3Core}from'../low-level';import{Z3HighLevel}from'./types';export declare function createApi(Z3:Z3Core):Z3HighLevel;", "/node_modules/z3-solver/build/high-level/index.d.ts": "export*from'./high-level';export*from'./types';", "/node_modules/z3-solver/build/high-level/types.d.ts": "import{Z3_ast,Z3_ast_map,Z3_ast_vector,Z3_context,Z3_decl_kind,Z3_func_decl,Z3_func_interp,Z3_model,Z3_probe,Z3_solver,Z3_sort,Z3_sort_kind,Z3_symbol,Z3_tactic}from'../low-level';export declare type AnySort=Sort|BoolSort|ArithSort|BitVecSort|SMTArraySort,...AnySort[]],AnySort>;export declare type AnyExpr=Expr|Bool|Arith|IntNum|RatNum|BitVec|BitVecNum|SMTArray,...AnySort[]],AnySort>;export declare type AnyAst=AnyExpr|AnySort|FuncDecl;export declare type SortToExprMap,Name extends string='main'>=S extends BoolSort?Bool:S extends ArithSort?Arith:S extends BitVecSort?BitVec:S extends SMTArraySort?SMTArray:S extends Sort?Expr:never;export declare type CoercibleToExprMap,Name extends string='main'>=S extends bigint?ArithSort:S extends number|CoercibleRational?RatNum:S extends boolean?Bool:S extends Expr?S:never;export declare type CoercibleFromMap,Name extends string='main'>=S extends Bool?(boolean|Bool):S extends IntNum?(bigint|number|IntNum):S extends RatNum?(bigint|number|CoercibleRational|RatNum):S extends Arith?(bigint|number|CoercibleRational|Arith):S extends BitVec?(number|BitVec):S extends SMTArray?SMTArray:S extends Expr?Expr:never;export declare type CoercibleRational={numerator:bigint|number;denominator:bigint|number;};export declare type CoercibleToExpr=number|bigint|boolean|CoercibleRational|Expr;export declare class Z3Error extends Error{}export declare class Z3AssertionError extends Z3Error{}export declare type CheckSatResult='sat'|'unsat'|'unknown';export interface ContextCtor{(name:Name,options?:Record):Context;}export interface Context{readonly ptr:Z3_context;readonly name:Name;interrupt():void;isModel(obj:unknown):obj is Model;isAst(obj:unknown):obj is Ast;isSort(obj:unknown):obj is Sort;isFuncDecl(obj:unknown):obj is FuncDecl;isApp(obj:unknown):boolean;isConst(obj:unknown):boolean;isExpr(obj:unknown):obj is Expr;isVar(obj:unknown):boolean;isAppOf(obj:unknown,kind:Z3_decl_kind):boolean;isBool(obj:unknown):obj is Bool;isTrue(obj:unknown):boolean;isFalse(obj:unknown):boolean;isAnd(obj:unknown):boolean;isOr(obj:unknown):boolean;isImplies(obj:unknown):boolean;isNot(obj:unknown):boolean;isEq(obj:unknown):boolean;isDistinct(obj:unknown):boolean;isArith(obj:unknown):obj is Arith;isArithSort(obj:unknown):obj is ArithSort;isInt(obj:unknown):boolean;isIntVal(obj:unknown):obj is IntNum;isIntSort(obj:unknown):boolean;isReal(obj:unknown):boolean;isRealVal(obj:unknown):obj is RatNum;isRealSort(obj:unknown):boolean;isBitVecSort(obj:unknown):obj is BitVecSort;isBitVec(obj:unknown):obj is BitVec;isBitVecVal(obj:unknown):obj is BitVecNum;isArraySort(obj:unknown):obj is SMTArraySort,...AnySort[]],AnySort>;isArray(obj:unknown):obj is SMTArray,...AnySort[]],AnySort>;isConstArray(obj:unknown):boolean;isProbe(obj:unknown):obj is Probe;isTactic(obj:unknown):obj is Tactic;isAstVector(obj:unknown):obj is AstVector>;eqIdentity(a:Ast,b:Ast):boolean;getVarIndex(obj:Expr):number;from(primitive:boolean):Bool;from(primitive:number):IntNum|RatNum;from(primitive:CoercibleRational):RatNum;from(primitive:bigint):IntNum;from>(expr:E):E;from(value:CoercibleToExpr):AnyExpr;solve(...assertions:Bool[]):Promise|'unsat'|'unknown'>;readonly Solver:new(logic?:string)=>Solver;readonly Model:new()=>Model;readonly AstVector:new- =AnyAst>()=>AstVector;readonly AstMap:new=AnyAst,Value extends Ast=AnyAst>()=>AstMap;readonly Tactic:new(name:string)=>Tactic;readonly Sort:SortCreation;readonly Function:FuncDeclCreation;readonly RecFunc:RecFuncCreation;readonly Bool:BoolCreation;readonly Int:IntCreation;readonly Real:RealCreation;readonly BitVec:BitVecCreation;readonly Array:SMTArrayCreation;Const
>(name:string,sort:S):SortToExprMap;Consts>(name:string|string[],sort:S):SortToExprMap[];FreshConst>(sort:S,prefix?:string):SortToExprMap;Var>(idx:number,sort:S):SortToExprMap;If(condition:Probe,onTrue:Tactic,onFalse:Tactic):Tactic;If,OnFalseRef extends CoercibleToExpr>(condition:Bool|boolean,onTrue:OnTrueRef,onFalse:OnFalseRef):CoercibleToExprMap;Distinct(...args:CoercibleToExpr[]):Bool;Implies(a:Bool|boolean,b:Bool|boolean):Bool;Eq(a:CoercibleToExpr,b:CoercibleToExpr