Variable bounds are recognised.