Before revision: If a contradiction results, back up to the last decision made, mark it as a failure, and try another decision at the same point.
After revision: YamomsbIf a contradiction results, back up to the last decision made, mark it as a failure, and try another decision at the same point.