Segmentation fault in ASP_system branch for KnightTourWithHoles

[JoD]

When running cat /home/jodv/workspace/asp-competition-2013/IDP3SystemTrack/N22-KnightTourWithHoles/KnightTourWithHoles_corrected.idp /home/jodv/workspace/asp-competition-2013/IDP3SystemTrack/N22-KnightTourWithHoles/aspinstances/small_example.asp | ./run

a segmentation fault is returned. This is particularly strange, since the System modellering for this problem works in the regular IDP branch (the master instead of the system branch).