DataFlowSegmentEdgeView
constructor(id: String, fromSegmentId: String, toSegmentId: String, mergedEdgeIds: List<String> = emptyList(), sourceInstructionIds: List<String> = emptyList(), sourceEndpointSymbols: List<String> = emptyList(), sinkInstructionIds: List<String> = emptyList(), factIds: List<String> = emptyList(), evidenceComponentIds: List<String> = emptyList(), solverExecutionIds: List<String> = emptyList())