Remove parts of certify.patch dealing with nested functions

They are not needed now when Y2R compiles nested functions.