Add a test for inner structure synchronization.
Minor formatting stuff.
Add regex tests.
Add alternatives (not yet tested).