cleanup in ttcnlog syntax