its alive - AST is unpacked into solver in and out of web workers