Path condition (#91)

* Run VSharp building on pull request and push.

* Refresh versions.

* Setup dotnet7.

* Build in Release mode.

* Add path condition vertex type. Support path condition processing. Refactor.

* Reset dictionary with path condition vertices. Refactor.

* Update path condition. Refactor.

* Pass path condition instead its size. Make PC not internal to use its methods.

Author: Anya497

VSharp.Explorer/AISearcher.fs

@@ -8,6 +8,7 @@ open System.Reflection
 open System.Collections.Generic
 open Microsoft.FSharp.Collections
 open VSharp
+open VSharp.Core
 
 type ICallGraphNode =
     inherit IGraphNode<ICallGraphNode>
@@ -519,7 +520,7 @@ and IGraphTrackableState =
     abstract member CodeLocation: codeLocation
     abstract member CallStack: list<Method>
     abstract member Id: uint<stateId>
-    abstract member PathConditionSize: uint    
+    abstract member PathCondition: pathCondition   
     abstract member VisitedNotCoveredVerticesInZone: uint with get
     abstract member VisitedNotCoveredVerticesOutOfZone: uint with get
     abstract member VisitedAgainVertices: uint with get