handle preinvoke/postinvoke pairs where the call in the middle was optimized out; helps #5