More upper bounds
Constraint transformers-compat