Adding with-asserts in reqs