EvidenceComponent
constructor(id: String, solverExecutionId: String, leakFactIds: List<String>, segments: List<EvidenceSegment>, edges: List<DataFlowSegmentEdge>, rootSegmentIds: List<String>, terminalSegmentIds: List<String>, sourceBoundaries: List<EvidenceSourceBoundary> = emptyList())