Added three constraint tests