Adding missing busy upper bound in constraints.