MissingMethodException when calling FSharpMap<TKey, TValue>.get_Values()

[alewmt]

When running tests I get the following exception:

System.MissingMethodException: Method not found: 'System.Collections.Generic.ICollection1<!1> Microsoft.FSharp.Collections.FSharpMap2.get_Values()'. at <StartupCode$VSharp-IL>.$Loader..cctor() at VSharp.Loader.get_implementsAttribute() at VSharp.Loader.collectImplementations(IEnumerable1 ts) in D:\Sources\VSharp\VSharp.IL\Loader.fs:line 25 at VSharp.Loader.SetInternalCallsAssembly(Assembly asm) in D:\Sources\VSharp\VSharp.IL\Loader.fs:line 63 at VSharp.Explorer.SVMExplorer..ctor(ExplorationOptions explorationOptions, SVMStatistics statistics, IReporter reporter) in D:\Sources\VSharp\VSharp.Explorer\Explorer.fs:line 68 at <StartupCode$VSharp-Explorer>.$Explorer.createSVM@479(Explorer this, Unit unitVar0) in D:\Sources\VSharp\VSharp.Explorer\Explorer.fs:line 480 at VSharp.Explorer.Explorer..ctor(ExplorationOptions options, IReporter reporter) in D:\Sources\VSharp\VSharp.Explorer\Explorer.fs:line 484 at VSharp.TestGenerator.StartExploration(IEnumerable1 methods, coverageZone coverageZone, VSharpOptions options, EntryPointConfiguration configuration) in D:\Sources\VSharp\VSharp.API\VSharp.cs:line 214 at VSharp.TestGenerator.Cover(IEnumerable1 types, VSharpOptions options) in D:\Sources\VSharp\VSharp.API\VSharp.cs:line 435 at VSharp.TestGenerator.CoverAndRun(IEnumerable1 types, Statistics& statistics, VSharpOptions options) in D:\Sources\VSharp\VSharp.API\VSharp.cs:line 561...

VSharp was compiled targeting .NET 9