Instantiate \c Bound from a single expression expr.
Makes it easier to add free-contants to existing Bounded variables.
See Implementation
Instantiate \c Bound from a single expression expr.
Makes it easier to add free-contants to existing Bounded variables.