DataFlowSegmentView
constructor(id: String, instructionIds: List<String> = emptyList(), factIds: List<String> = emptyList(), mergedSegmentIds: List<String> = emptyList(), evidenceComponentIds: List<String> = emptyList(), solverExecutionIds: List<String> = emptyList(), sourceInstructionIds: List<String> = emptyList(), sourceEndpointSymbols: List<String> = emptyList(), sinkInstructionIds: List<String> = emptyList())