Add test for precondition violation for RWORset