adds integrity constraint tests