Avoid mentionning states names in the documentation
In automaton.has_twins_property.ipynb
, the documentation mentions the numbers of the states, but is wrong because the numbering has been changed since. We should avoid situations like this by not mentioning uncertain states names in the documentation. You should also check for other occurrences of this, as it makes our documentation confusing.