SE: Move CollectionConstraint from S4158 to the engine

[Tim-Pohlmann]

CollectionConstraint is a local constraint of S4158. We do learn NumberConstraints from list.Count if list has a CollectionConstraint. This has beneficial effects on other rules. The CollectionConstraint logic should be moved to the engine itself and the rule should only check for the constraint's presence. This will make sure, CollectionConstraints can can be learned even if S4158 is deactivated.