Simpify constraints from a TH bracket eagerly