Fix check of unrealistic recursive rules