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