Bug 951213 - Improve robustness when rolling back properties after the definite properties analysis fails, r=jandem.