sb.append(String.format("[%02d] %s\n %s\n", i, stmt0.fullName(), stmt1.fullName()));
} // FOR
// PARAMETERS
sb.append("\nBATCH PARAMETERS\n");
ParameterMangler pm = ParameterMangler.singleton(ts.getProcedure());
Object mangled[] = pm.convert(ts.getProcedureParameters().toArray());
sb.append(pm.toString(mangled));
// ESTIMATOR STATE
sb.append("\nESTIMATOR STATE:\n");
EstimatorState s = ts.getEstimatorState();
if (s instanceof MarkovEstimatorState) {