check_rules <<"---";
Q_GORENSTEIN, Q_GORENSTEIN_INDEX : RAYS, MAXIMAL_CONES, DIM
1 2

GORENSTEIN : Q_GORENSTEIN, Q_GORENSTEIN_INDEX 
1 2

SMOOTH_FAN : RAYS, MAXIMAL_CONES, SIMPLICIAL
3

GORENSTEIN, Q_GORENSTEIN, Q_GORENSTEIN_INDEX :
3

---
