Bugfix to remove false positives in useafterfree plugin
useafterfree: Improve debug messages
useafterfree: Track double frees as well.