boundlab.prop.eqprop# boundlab.prop.eqprop(x)[source]# Work like ublb but stops when == propagation is no longer possible, returning an expression.