prefer_now 'lrs';
check_rules <<'---'
TRIANGULATION.FACETS : RAYS, TRIANGULATION.WEIGHTS
1 2

TRIANGULATION.FACETS : POINTS, TRIANGULATION.WEIGHTS
pc3 pc4 pc5
---
  and
check_rules on => 'POLYTOPAL_SUBDIVISION', <<'---';
MAXIMAL_CELLS : VERTICES, WEIGHTS
3 4

MAXIMAL_CELLS : POINTS, WEIGHTS
pc1 pc2
---
;
