quantified gadget constraints for UIF inputs