Integrate assertion generation into the API