ContextSensitiveDataflow

constructor(start: Node, end: Node, granularity: Granularity = default(), callingContext: CallingContext)