Generate bounded invariants for integers with fixed initial values