Enforce variable bounds in general