simplified boolean assert