test constraints