TST: verified that assert statements work