Consider value to be a variable

[znittzel]

Currently we cannot support logic formulations such as x <= y, where x and y's upper bounds are > 1. Consider extending AtLeast's property value to be a variable rather than a constant.