Given that we include now a constraint solve, we should let users take advantage of it.
`if bound not in kwars`