Web benchmark: 'Could not load file or assembly' in VSharp.Mocking.Type.Build

[mxprshn]

• Run V# CLI (2a3e2d9) on https://github.com/VSharp-team/VSharp-bench/blob/327df044c180ff2679d1b0509d2c6b9c0c0bd360/max_arshinov_web/HightechAngular.Web.dll (commit a85c3d1)
  with params: --method get_Cart D:\VSharp-bench\max_arshinov_web\HightechAngular.Web.dll --render-tests, Debug configuration
• Get the following error:

[Error] [12/29/2022 4:00:42 PM] Tests renderer: deserialization of test failed: System.IO.InvalidDataException: Input test is incorrect
 ---> System.IO.FileNotFoundException: Could not load file or assembly 'Microsoft.AspNetCore.Http.Features, Version=3.1.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60'
. The system cannot find the file specified.
File name: 'Microsoft.AspNetCore.Http.Features, Version=3.1.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60'
   at System.Reflection.Emit.TypeBuilder.CreateTypeNoLock()
   at System.Reflection.Emit.TypeBuilder.CreateType()
   at VSharp.Mocking.Type.Build(ModuleBuilder moduleBuilder) in D:\VSharp-fork\VSharp.Utils\Mocking.fs:line 204
   at VSharp.Mocking.Mocker.BuildDynamicType(typeMockRepr repr) in D:\VSharp-fork\VSharp.Utils\Mocking.fs:line 320
   at VSharp.Mocking.Mocker.VSharp.ITypeMockSerializer.Deserialize(FSharpFunc`2 decode, Object repr) in D:\VSharp-fork\VSharp.Utils\Mocking.fs:line 290
   at VSharp.MemoryGraph..ctor(memoryRepr repr, ITypeMockSerializer mocker, Boolean createCompactRepr) in D:\VSharp-fork\VSharp.Utils\MemoryGraph.fs:line 131
   at VSharp.UnitTest..ctor(MethodBase m, testInfo info, Boolean createCompactRepr) in D:\VSharp-fork\VSharp.Utils\UnitTest.fs:line 58
   at VSharp.UnitTest.DeserializeFromTestInfo(testInfo ti, Boolean createCompactRepr) in D:\VSharp-fork\VSharp.Utils\UnitTest.fs:line 215
   --- End of inner exception stack trace ---
   at VSharp.UnitTest.DeserializeFromTestInfo(testInfo ti, Boolean createCompactRepr) in D:\VSharp-fork\VSharp.Utils\UnitTest.fs:line 218
   at VSharp.TestRenderer.Renderer.DeserializeTest(FileInfo test) in D:\VSharp-fork\VSharp.TestRenderer\RendererTool.cs:line 541
   at VSharp.TestRenderer.Renderer.DeserializeTests(IEnumerable`1 tests) in D:\VSharp-fork\VSharp.TestRenderer\RendererTool.cs:line 551