i-6[0] = max(-inf, 0)
neg-i-6[0] = max(-inf, 0)
neg-i-1-pre = max(-inf, neg-i-6[0], neg-i-2[0])
i-1-pre = max(-inf, i-6[0], i-2[0])
neg-i-5-pre = max(-inf, neg-i-1-pre)
i-5-pre = max(-inf, min(2, i-1-pre))
neg-i-0-pre = max(-inf, min(-3, neg-i-1-pre))
i-0-pre = max(-inf, i-1-pre)
neg-i-4-pre = max(-inf, neg-i-5-pre)
i-4-pre = max(-inf, min(1, i-5-pre))
neg-i-3-pre = max(-inf, min(-2, neg-i-5-pre))
i-3-pre = max(-inf, i-5-pre)
i-4[0] = max(-inf, add(1, i-4-pre))
neg-i-4[0] = max(-inf, add(-1, neg-i-4-pre))
neg-i-2-pre = max(-inf, neg-i-4[0], neg-i-3[0])
i-2-pre = max(-inf, i-4[0], i-3[0])
i-3[0] = max(-inf, 10)
neg-i-3[0] = max(-inf, -10)
i-2[0] = max(-inf, add(1, i-2-pre))
neg-i-2[0] = max(-inf, add(-1, neg-i-2-pre))