* tests/python/automaton.py, tests/python/derivation.py,
* tests/python/factory.py, tests/python/standard.py,
* tests/python/automaton.py, tests/python/compose.py,
* tests/python/efsm.py, tests/python/eliminate-state.py,
* tests/python/infiltrate.py, tests/python/ldivide.py,
* tests/python/minimize.py, tests/python/partial-identity.py,
* tests/python/power.py, tests/python/prefix.py,
* tests/python/rdivide.py, tests/python/synchronize.py,
* tests/python/to-expression.py, tests/python/union.py:
here.