Make functions that preserve the CFG not invalidate analyses that only depend