fix lower/upper bound estimate with respect to offset

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
adding scoped state

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>