In a constraint system a new bound is incorporated: all new constrains that can be derived from it (and from existing ones) are added
#KT-7597 Fixed