Better error message for conflicting failure state.
Add TODO for more precise variable comparison.