ported Constraints2Polyhedron.