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

Author: Anya497

VSharp.IL/CFG.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

VSharp.SILI.Core/PathCondition.fs

@@ -7,7 +7,7 @@ type pathCondition = pset<term>
 // - PC does not contain True
 // - if PC contains False then False is the only element in PC
 
-module internal PC =
+module PC =
 
     let public empty : pathCondition = PersistentSet.empty<term>
     let public isEmpty pc = PersistentSet.isEmpty pc