Fix the splitting of constraints for concrete types.