Change in architecture in order to distinguish between relations and relations with closures and inverses.
Merge branch 'master' into global-model-closure

Conflicts:
	Set.py
	helper/parallel_features.py
Not using constraints and inverses for evaluating the test data.