IDP throws unexpected exception (again)

[Former user]

IDP throws exception:

./runidp.sh: line 5: 11155 Segmentation fault (core dumped) "$DIR/idp" -d "$DIR/../" "$@"

File included as attachment.

[Broes De Cat]

Fixes #266 terms in the head of a rule have to be unnested recursively.

→ <<cset 1d8d330b55cc>>