Better bounding in indicator and reified

[Wikunia]

If the inner constraint is activated and the lp solver supports that constraint. One can add it to the model to get better bounds.
One might either delete that constraint otherwise or set the bounds to <= Inf as an example.