Preprocessing step for finding finite runs of well-defined function definitions using FMF.