Debug: instrument pushbacks also