Make sure all variables have bounds.

[jd-lara]

In the release of POM we need to ensure that variables are always bounded and we have methods to produce reasonable bounds.