VSharp does not generate tests

[Domonion]

To Reproduce

Create project with .NET 6 with following code:

using System;

public class Foo {
    public void Method1()
    {
        Console.WriteLine("Method1");
    }
    public static void Method2()
    {
        Console.WriteLine("Method2");
    }
}

public class Bar {
    public int Method3(int d)
    {
        Foo.Method2();
        var fooInstance = new Foo();
        fooInstance.Method1();
        var a = 1;
        var b = 12;

        return 1234 / (a + b - d);
    }

    public static void Main(string[] args)
    {
        new Bar().Method3(12);
    }
}

Expected behavior

Tests to be generated

Actual behavior

com.jetbrains.rdclient.util.BackendException: No *.vst files were generated, nothing to render, reason: System.Exception: No *.vst files were generated, nothing to render at VSharp.TestRenderer.Renderer.RunTestsRenderer(IEnumerable`1 tests, Type declaringType, Boolean wrapErrors, AssemblyLoadContext assemblyLoadContext) at VSharp.TestRenderer.Renderer.Render(IEnumerable`1 tests, FileInfo testingProject, Type declaringType, AssemblyLoadContext assemblyLoadContext, FileInfo solutionForTests) at UtBot.VSharp.VSharpMain.<>c__DisplayClass1_0.<Main>b__2(Lifetime _, GenerateArguments arguments) in C:\wrk\UTBotJava\utbot-rider\src\dotnet\UtBot\UtBot.VSharp\VSharpMain.cs:line 52 at JetBrains.Rd.Tasks.RdTaskEx.<>c__DisplayClass7_0`2.<Set>b__0(Lifetime lifetime, TReq req) at JetBrains.Rd.Tasks.RdCall`2.OnWireReceived(UnsafeReader reader)

--- EXCEPTION #1/2 [RdFault]
Message = “
  No *.vst files were generated, nothing to render, reason: System.Exception: No *.vst files were generated, nothing to render
     at VSharp.TestRenderer.Renderer.RunTestsRenderer(IEnumerable`1 tests, Type declaringType, Boolean wrapErrors, AssemblyLoadContext assemblyLoadContext)
     at VSharp.TestRenderer.Renderer.Render(IEnumerable`1 tests, FileInfo testingProject, Type declaringType, AssemblyLoadContext assemblyLoadContext, FileInfo solutionForTests)
     at UtBot.VSharp.VSharpMain.<>c__DisplayClass1_0.<Main>b__2(Lifetime _, GenerateArguments arguments) in C:\wrk\UTBotJava\utbot-rider\src\dotnet\UtBot\UtBot.VSharp\VSharpMain.cs:line 52
     at JetBrains.Rd.Tasks.RdTaskEx.<>c__DisplayClass7_0`2.<Set>b__0(Lifetime lifetime, TReq req)
     at JetBrains.Rd.Tasks.RdCall`2.OnWireReceived(UnsafeReader reader)
”
ExceptionPath = Root.InnerException
ClassName = JetBrains.Rd.Tasks.RdFault
HResult = COR_E_EXCEPTION=80131500
Source = JetBrains.RdFramework
StackTraceString = “
  at JetBrains.Rd.Tasks.RdTaskResult`1.Unwrap()
     at JetBrains.Rd.Tasks.RdCall`2.Sync(TReq request, RpcTimeouts timeouts)
     at UtBot.UnitTestBuilder.<>c__DisplayClass10_3.<Generate>b__5() in C:\wrk\UTBotJava\utbot-rider\src\dotnet\UtBot\UtBot\UnitTestBuilder.cs:line 150
     at JetBrains.Util.ILoggerEx.Catch(ILogger thіs, Action F, ExceptionOrigin origin, LoggingLevel loggingLevel)
”

--- Outer ---

--- EXCEPTION #2/2 [LoggerException]
Message = “
  No *.vst files were generated, nothing to render, reason: System.Exception: No *.vst files were generated, nothing to render
     at VSharp.TestRenderer.Renderer.RunTestsRenderer(IEnumerable`1 tests, Type declaringType, Boolean wrapErrors, AssemblyLoadContext assemblyLoadContext)
     at VSharp.TestRenderer.Renderer.Render(IEnumerable`1 tests, FileInfo testingProject, Type declaringType, AssemblyLoadContext assemblyLoadContext, FileInfo solutionForTests)
     at UtBot.VSharp.VSharpMain.<>c__DisplayClass1_0.<Main>b__2(Lifetime _, GenerateArguments arguments) in C:\wrk\UTBotJava\utbot-rider\src\dotnet\UtBot\UtBot.VSharp\VSharpMain.cs:line 52
     at JetBrains.Rd.Tasks.RdTaskEx.<>c__DisplayClass7_0`2.<Set>b__0(Lifetime lifetime, TReq req)
     at JetBrains.Rd.Tasks.RdCall`2.OnWireReceived(UnsafeReader reader)
”
ExceptionPath = Root
ClassName = JetBrains.Util.LoggerException
InnerException = “Exception #1 at Root.InnerException”
HResult = COR_E_APPLICATION=80131600
StackTraceString = “
  at JetBrains.Util.ILoggerEx.LogException(ILogger this, LoggingLevel level, Exception exception, ExceptionOrigin exceptionOrigin, String comment)
     at JetBrains.Util.ILoggerEx.Catch(ILogger thіs, Action F, ExceptionOrigin origin, LoggingLevel loggingLevel)
     at UtBot.UnitTestBuilder.Generate(IBackgroundProgressIndicator progressIndicator, IProject project, VirtualFileSystemPath assemblyPath, List`1 descriptors) in C:\wrk\UTBotJava\utbot-rider\src\dotnet\UtBot\UtBot\UnitTestBuilder.cs:line 137
     at UtBot.UnitTestBuilder.<>c__DisplayClass9_0.<Process>b__0() in C:\wrk\UTBotJava\utbot-rider\src\dotnet\UtBot\UtBot\UnitTestBuilder.cs:line 86
     at JetBrains.Application.Threading.Tasks.TaskHost.AccessViolationCatcher(Action action)
     at JetBrains.Application.Threading.Tasks.TaskHost.<>c__DisplayClass36_0.<Create>b__0(Object state)
     at System.Threading.ExecutionContext.RunInternal(ExecutionContext executionContext, ContextCallback callback, Object state)
     at System.Threading.Tasks.Task.ExecuteWithThreadLocal(Task& currentTaskSlot, Thread threadPoolThread)
     at System.Threading.Tasks.TaskScheduler.TryExecuteTask(Task task)
     at JetBrains.Application.Threading.Tasks.Scheduler.JetScheduler.ExecuteTask(Task task)
     at JetBrains.Application.Threading.Tasks.Scheduler.JetSchedulerThread.EnqueueNextTask()
     at JetBrains.Application.Threading.Tasks.Scheduler.JetSchedulerThread.ThreadPoolProc()
     at JetBrains.Util.Reflection.CallStackAnnotation.CatchAnnotatedInvocation[TClassOfNewFrame](String methodNameOfNewFrame, Action actionToAnnotate)
     at JetBrains.Application.Threading.Tasks.Scheduler.JetSchedulerThread.<>c__DisplayClass6_0.<.ctor>b__0()
     at System.Threading.Thread.StartCallback()
”

	at com.jetbrains.rdclient.protocol.components.RdClientProtocolComponent$2.invoke(RdClientProtocolComponent.kt:47)
	at com.jetbrains.rdclient.protocol.components.RdClientProtocolComponent$2.invoke(RdClientProtocolComponent.kt:22)
	at com.jetbrains.rd.util.reactive.Signal.fire(Signal.kt:32)
	at com.jetbrains.rd.framework.impl.RdSignal.onWireReceived(RdSignal.kt:42)
	at com.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:57)
	at com.jetbrains.rd.framework.MessageBroker$invoke$2$2.invoke(MessageBroker.kt:12)
	at com.jetbrains.rd.framework.impl.ProtocolContexts.readMessageContextAndInvoke(ProtocolContexts.kt:151)
	at com.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:56)
	at com.jetbrains.rd.framework.MessageBroker$invoke$2.invoke(MessageBroker.kt:12)
	at com.jetbrains.rdclient.protocol.RdDispatcher.flushAll(RdDispatcher.kt:97)
	at com.jetbrains.rdclient.protocol.RdDispatcher.access$flushAll(RdDispatcher.kt:18)
	at com.jetbrains.rdclient.protocol.RdDispatcher$flushAllRunnable$1.run(RdDispatcher.kt:23)
	at com.intellij.openapi.application.TransactionGuardImpl.runWithWritingAllowed(TransactionGuardImpl.java:209)
	at com.intellij.openapi.application.TransactionGuardImpl.access$100(TransactionGuardImpl.java:21)
	at com.intellij.openapi.application.TransactionGuardImpl$1.run(TransactionGuardImpl.java:191)
	at com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:881)
	at com.intellij.openapi.application.impl.ApplicationImpl$3.run(ApplicationImpl.java:513)
	at com.intellij.openapi.application.impl.FlushQueue.doRun(FlushQueue.java:75)
	at com.intellij.openapi.application.impl.FlushQueue.runNextEvent(FlushQueue.java:118)
	at com.intellij.openapi.application.impl.FlushQueue.flushNow(FlushQueue.java:42)
	at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:318)
	at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:779)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:730)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:724)
	at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)
	at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
	at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:749)
	at com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:898)
	at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:746)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$6(IdeEventQueue.java:439)
	at com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:791)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$7(IdeEventQueue.java:438)
	at com.intellij.openapi.application.TransactionGuardImpl.performActivity(TransactionGuardImpl.java:105)
	at com.intellij.ide.IdeEventQueue.performActivity(IdeEventQueue.java:604)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$8(IdeEventQueue.java:436)
	at com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:881)
	at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:484)
	at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:207)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:128)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:117)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:113)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:105)
	at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:92)