The patching approach is not sufficient because we need the computation result of the removed program (namely, it cannot be removed).