instrumenter bug fix: Should not instrument functions for recording debug symbols.