Added the answer for first question
To verify the property, just verify "not (set and reset)" in XLesar"