Segfault when minizing over a term of another vocabulary

[Joachim Jansen]

This is because the minterm used the same predicate, but was not from an extended vocabulary. See attached file, it will segfault. Replacing the predicate in the vocabulary with the commented line will prevent the segfault.

This happens even if the theory is empty.

[Joachim Jansen]

Fix: Used -- to comment instead of // or ++ in attached file.

[Broes De Cat]

Refs: Segfault fixed by 6f7f1ea

[Broes De Cat]

Fixes #289 where using a different vocabulary for theory, structure and term should not have been allowed (at this moment).

→ <<cset 1ae84119541b>>

[Joachim Jansen]

Fixes #289 where using a different vocabulary for theory, structure and term should not have been allowed (at this moment).

→ <<cset 3b2a9e97e6eb>>