KaDataFlowExitPointSnapshot:
  defaultExpressionInfo = null
  hasEscapingJumps = false
  hasJumps = false
  hasMultipleJumpKinds = false
  hasMultipleJumpTargets = false
  jumpExpressions = []
  returnValueType = null
  valuedReturnExpressions = []
  variableReassignments = []