300.05/300.05 Foreign predicate ppl_Polyhedron_intersection_assign/2 did not clear exception: error(signal(alrm,14),context(ppl_Polyhedron_intersection_assign/2,_540164)) 300.05/300.06 EOF