graphs

The graph of each labelling of the theory (rejected if the evaluation halts)