Fix for corner case where all constraints are concrete constraints