Check if two function definitions are related by function renaming.
(fundef-renamefun old new ren) → _
When we process two function definitions, their association pair has already been added to the function renaming: see the treatment of blocks. The inputs and outputs must be the same. The bodies must be related by function renaming.