removed duplicate entry for regression_dynamic in verify