Better comments.  Create global function entry if missing.
Remove impossible case due to recent change in environment.