1		spec_trans(root,'$initialise_machine',0).
2		spec_trans(0,'OpA',1).
3		spec_trans(1,'OpB',2).
4		spec_trans(1,'OpC',2).
5		spec_not_all_transitions_added(_) :-
6		fail.
7		spec_max_reached_for_node(_) :-
8		fail.
9		spec_completely_explored.