exclude condition violating traces from enumerate
newTrace needs to take doRejectionInit