check for duplicate transition names