isDeterministic

True if no state has two transitions leaving with the same label.