writing callback for when a new assertion is added to titan