Segfault when using right predicate but wrong arity in term

[Joachim Jansen]

Attached file segfaults when being parsed.

The file is not correct, but should throw an error instead of segfaulting.

The error is that in the term, the predicate is used as if it has 2 arguments, whilst in the vocabulary it only has 1 argument.

[Broes De Cat]

Fixed in double_declaration branch.