Check if two function definitions are related by variable renaming.
(fundef-renamevar old new) → _
We initialize the renaming list according to the inputs and outputs, and then we process the bodies.
