KtDataFlowExitPointSnapshot:
  defaultExpressionInfo = DefaultExpressionInfo:
    expression = if (a + b > 0) return 0
        else if (a - b < 0) consume(a - b)
        else consume(0)
    type = kotlin.Unit
  hasEscapingJumps = true
  hasJumps = true
  hasMultipleJumpKinds = false
  hasMultipleJumpTargets = false
  loopJumpExpressions = []
  returnValueType = kotlin.Int
  valuedReturnExpressions = [
    return 0
  ]
  variableReassignments = []