Function coerce

examples/06_effectful_verifier/python/refine.py:136–137

(x)

        h[var_ops[name]] = (lambda bv=bv: lambda: bv)(bv)

    def coerce(x):
        return eb.mk_int(x) if isinstance(x, int) else x

    h[int_ops.__add__] = lambda a, b: eb.mk_int_add(coerce(a), coerce(b))
    h[int_ops.__sub__] = lambda a, b: eb.mk_int_sub(coerce(a), coerce(b))