public void STExploreTest2()
{
IContext<FuncDecl, Expr, Sort> solver = new Microsoft.Automata.Z3.Z3Provider(BitWidth.BV7);
var st = MkDecodeWithFinalOutputs(solver, solver.CharSort);
//st.ShowGraph();
var st1 = st.Explore();
//st.AddEOI().ShowGraph();
//var stst = st1,
var w = st.Diff(st1, 5);
Assert.IsNull(w);
}