Check for cyclical empty type transitions