lit support for REQUIRES: asserts.