public void TestCompositionOfDecodeWithFinals() { STBuilderZ3 stb = new STBuilderZ3(new Z3Provider(BitWidth.BV16)); TestCompositionOfDecodeWithFinals(stb, stb.Solver.IntSort); }