[PPL-devel] ppl/sicstus/segmentation violation

ppl_delete_Polyhedron/1 cause "segmentation violation" when using ppl_sicstus. For example, the following query results in segmentation violation:

?- ppl_initialize, A='$VAR'(0), B='$VAR'(1),ppl_new_NNC_Polyhedron_from_constraints([A>B,B>=A],X),ppl_delete_Polyhedron(X).

I am running SICStus "3.10.0 (x86-Linux-glibc2.2)" with ppl-0.8. Note that it works fine in other Prolog, e.g., Ciao. any idea what could be the problem ?

Thanks.