Trace changed back to a fact from pred.