A first implementation on reachability analysis based on C_Polyhedron.