def test_points_to_at_type(self):
        connect(reset_server=True)
        if __name__ == "__main__": view(LogResults())
        bcname = str(Path('tests','saw','test-files', 'points_to_at_type.bc'))
        mod = llvm_load_module(bcname)

        result = llvm_verify(mod, "f", FPointsToContract(None))
        self.assertIs(result.is_success(), True)

        result = llvm_verify(mod, "f", FPointsToContract(array_ty(2, i32)))
        self.assertIs(result.is_success(), True)

        # with self.assertRaises(VerificationError):
        #     llvm_verify(mod, "f", FPointsToContract(PointerType()))

        # with self.assertRaises(VerificationError):
        #     llvm_verify(mod, "f", FPointsToContract(ty.array(3, ty.i32)))