merge assertion flow whch is made by tsov