newPrefix.add(item);
//System.out.println("Trying " + newPrefix.toString());
Trace alt = ErlangQSMOracle.ErlangTraces.findPrefix(newPrefix);
if ((alt != null) && (alt.size() > prefix.size())) {
qtrace.negative = true;
result = new Pair<Integer, String>(AbstractOracle.USER_NEWTRACE, alt.toTraceString() + "/" + qtrace.toTraceString());
//System.out.println("Got: " + alt.toTraceString());
//System.exit(1);
} else {
//System.out.println("Nope...");
}