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.