Return the successor function as well.
Reaching definitions module including test.