* Added experimental version of NestedEqualityConstraint with unit-tests
* Fixed sln