Use C polyhedra not NNC as suggested by Roberto Bagnara.