Deleted tchecker.test
Fixed annot.py