Lines Matching full:restored
881 /// After backtracking, the hazard checker needs to be restored to a state
