KaDataFlowExitPointSnapshot:
  defaultExpressionInfo = null
  hasEscapingJumps = true
  hasJumps = true
  hasMultipleJumpKinds = true
  hasMultipleJumpTargets = true
  jumpExpressions = [
    return,
    break
  ]
  returnValueType = null
  valuedReturnExpressions = []
  variableReassignments = []