Cleanup: deleted '$substitute_atom'/4.  Not in use anymore.