300.04/300.07	Foreign predicate ppl_Polyhedron_intersection_assign/2 did not clear exception: error(signal(alrm,14),context(ppl_Polyhedron_intersection_assign/2,_54254))
300.04/300.07	EOF