TODO check uniquness of TCon and Con names