Migrated from folder: dusa/dusa_assertion