public void STDecodeTest()
{
IContext<FuncDecl, Expr, Sort> solver = new Microsoft.Automata.Z3.Z3Provider(BitWidth.BV7);
var st = MkDecodeWithFinalOutputs(solver, solver.CharSort);
var stst = st.Compose(st);
var w = st.Neq1(stst);
Assert.IsNotNull(w);
}