public void TestGetTagsAxioms2()
{
STBuilderZ3 stb = new STBuilderZ3(new Z3Provider(BitWidth.BV16));
TestGetTagsAxioms2(stb, stb.Solver.IntSort);
TestGetTagsAxioms2(stb, stb.Solver.MkBitVecSort(16));
TestGetTagsAxioms2(stb, stb.Solver.MkBitVecSort(8));
TestGetTagsAxioms2(stb, stb.Solver.MkBitVecSort(7));
}