tsynTest.py added -- tlex must be enhanced