 						stamp: Set(),
 						callbacks: result1.callbacks + [.AfterFinalFailure(kind: .Counterexample, f: { _ in
 							return println("")
-						})] + result2.callbacks))
+						})] + result2.callbacks,
+						abort: false))
 				case .None:
 					return Rose.pure(result2)
 				default:

			theException: res.theException,
			labels: unionWith(max, res.labels, result.labels),
			stamp: res.stamp.union(result.stamp),
			callbacks: res.callbacks)
	}
}


			theException: res.theException,
			labels: res.labels,
			stamp: res.stamp,
			callbacks: [cb] + res.callbacks,
			abort: false)
	})(p: p)
}

