Symbol: ANNOTATE_INTRA_FUNCTION_CALL