singlepath: new insertion of pred def instructions