Minor cleanups for find_accessed_addrs

[orodley]

• Rename "before_block" and "after_block" to "prologue" and "epilogue"
• Use a typedef for the function type rather than stating it in the cast
• Fix a typo