Edge
constructor(sourceId: String, targetId: String, kind: EdgeKind = EdgeKind.DATA_FLOW, label: String? = null, waypoints: List<Waypoint> = emptyList(), cascadingFault: Boolean? = null, symbolicallyReachable: Boolean? = null, segmentIds: List<String> = emptyList(), segmentEdgeIds: 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(), endpointEdgeProvenance: List<EndpointEdgeProvenance> = emptyList(), icfgKind: IcfgEdgeKind? = null)