Nogood Recording from Restarts