check_rules <<"---";
DIM, PURE : MAXIMAL_CONES_DIMS
*
DIM : AMBIENT_DIM
*
COMBINATORIAL_DIM : DIM, LINEALITY_DIM
*
DIM : COMBINATORIAL_DIM, LINEALITY_DIM
*
LINEALITY_DIM : COMBINATORIAL_DIM, DIM
*
FULL_DIM : DIM, AMBIENT_DIM
*
FULL_DIM :
*
---
