Segfault when assigning predicates of another vocabulary in a structure

[Joachim Jansen]

An error should be thrown instead.

Attached IDP file that generates error by loading it.

[Joachim Jansen]

Attached valgrind output

[Bart Bogaerts]

fixed containment check of sorts in vocabulary.

Previously, the containment check was only done based on the name of the sorts However, as Joachim pointed out, this can fail if different vocs have sorts with the same name. Now, an additional check is done (for predicates and functions this check was already present).

This fixes #300

→ <<cset 08fbf10b06bc>>

[Joachim Jansen]

fixed containment check of sorts in vocabulary.

Previously, the containment check was only done based on the name of the sorts However, as Joachim pointed out, this can fail if different vocs have sorts with the same name. Now, an additional check is done (for predicates and functions this check was already present).

This fixes #300

→ <<cset 2b0e49ec4454>>