diameter_synthesis
tests
