More constraint sanity checks