fix: [implemented_by] at functions defined by well-founded recursion

fix: [implemented_by] at functions defined by well-founded recursion #2864