investigate  bug on addPrune (see TODO on oops.js)