I'd move this into `with_constraints` since it is relevant and only needed there.. maybe you can also disable `global_allow` on `TestFTI` instead, which might be more expressive..