Extremal problems on identifying codes in digraphs and Bondy's theorem on induced subsets