cond.jl

using Omega
using Debugger
using Omega: mem

"Return sequence bounded between lb ad ub"
function f_(ω)
  lb = -1.0
  ub = 1.0
  xs = Float64[]
  x = rand(ω)
  for i = 1:10  
    x += rand(ω)
    cond(ω, x <ₛ ub)
    cond(ω, lb <ₛ x)
    push!(xs, x)
  end
  xs
end

f = ciid(f_)

g = ciid(ω -> (f(ω); f(ω)))
ω = defΩ()()

@show indomainₛ(f, ω)
# returns: Omega.Soft.DualSoftBool{SoftBool{Float64}}(ϵ:-0.0, ϵ:-30830.490459499295)

@show indomainₛ(g, ω)
# returns: Omega.Soft.DualSoftBool{SoftBool{Float64}}(ϵ:-0.0, ϵ:-61660.980918998575)

@show indomainₛ(mem(g), ω)
# returns Omega.Soft.DualSoftBool{SoftBool{Float64}}(ϵ:-0.0, ϵ:-30830.490459499295)