Add constraint test