Comment Tracer::add_assertion()