Factor isDefAndOrUse().  Strengthen checkReturnPaths().

Refactored isDefAndOrUse() to expose primitive vs. not dichotomy and to set off the
strcmp(fn->name, "=") pending future removal.