Restore reverted test case, this time with REQUIRES: asserts