Fixed a bug when no restrictions are given
Added the ApplicationProximityConstraint
(simple Version with XeqY)
Changes in the outline regarding the representations of relations
Added some tests to detect duplicate entries in application or groups