/* search depth reached: 3 */
application: gov.nasa.jpf.test.mc.basic.TraceTest
 baz
[0] gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet 1
[1] gov.nasa.jpf.jvm.BooleanChoiceGenerator 2
[2] #1 2
