Add random assertions