[PPL-devel] Re: The Action Language Verifier and the Parma Polyhedra Library