debug update and remove propagations